CCL

Összesen 1 találat.
#/oldal:
Részletezés:
Rendezés:

1.

001-es BibID:bibKLT00101161
Első szerző:Mihálydeák Tamás Sándor (filozófus, matematikus)
Cím:Partiality and dynamics in first order logic and in type theoretical logic / Mihálydeák Tamás
Dátum:1995
Tárgyszavak:Társadalomtudományok Filozófiai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
Megjelenés:The bulletin of symbolic logic. - (1995) p. 116. -
Borító:
Rekordok letöltése1