LEADER 01166nam2-2200361---450-
001 990003228600203316
005 20091110102219.0
035   $a000322860
035   $aUSA01000322860
035   $a(ALEPH)000322860USA01
035   $a000322860
100   $a20090427d1965----km-y0itay50------ba
101   $aeng
102   $aNL
105   $a||||||||001yy
200 1 $a<<A>> transfinite type theory with type variables$fP.B. Andrews$gL.E.J. Brouwer...[et al.] (Eds.)
210   $aAmsterdam$cNorth-Holland$d1965
215   $aXV, 143 p.$cill.$d23 cm
225 2 $aStudies in logic and the foundations of mathematics$v3
410  1$1001000334586$12001$aStudies in logic and the foundations of mathematics$v3
606 0 $aLogica matematica
676   $a511.3
700  1$aANDREWS,$bP.B.$0368362
702  1$aBROUWER,$bL.E.J.
801  0$aIT$bsalbc$gISBD
912   $a990003228600203316
951   $a510 SL 3$b1632/CBS$c510$d00216296
959   $aBK
969   $aSCI
979   $aRSIAV7$b90$c20090427$lUSA01$h1033
979   $aRSIAV7$b90$c20091110$lUSA01$h1022
996   $aTransfinite type theory with type variables$9435909
997   $aUNISA