LEADER 00996nam--2200349---450-
001 990002062590203316
005 20090319142225.0
035   $a000206259
035   $aUSA01000206259
035   $a(ALEPH)000206259USA01
035   $a000206259
100   $a20041008d1965----km-y0itay0103----ba
101 0 $aeng
102   $aNE
105   $a||||||||001yy
200 1 $a<<A>> transfinite type theory with type variables$fP.B. Andrew
210   $aAmsterdam$cPublishing Company$d1965
215   $aXVI, 146 p.$d19 cm
410  0$12001
454  1$12001
461  1$1001-------$12001
676   $a510
700  1$aANDREW,$bP.B.$0567024
801  0$aIT$bsalbc$gISBD
912   $a990002062590203316
951   $a510 AND 1 (ISP II 123)$b15141 E.C.$cISP II$d00202569
959   $aBK
969   $aECO
979   $aSIAVPROV$b10$c20041008$lUSA01$h1113
979   $aRSIAV2$b90$c20090319$lUSA01$h1422
996   $aTransfinite type theory with type variables$91043618
997   $aUNISA