LEADER 00764nam0-22002531i-450-
001 990001125330403321
035   $a000112533
035   $aFED01000112533
035   $a(Aleph)000112533FED01
035   $a000112533
100   $a--------d--------km-y0itay50------ba
101 0 $aeng
200 1 $a<<A >>Transfinite Type Theory with Type Variables$fdi Andrews Peter B.
205   $aNorth-
210   $aAmsterdam$cPublishing Company$d1965
215   $aStudies in Logic and the Foundations of Mat ematics
700  1$aAndrews,$bPeter B.$044359
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001125330403321
952   $aC-30-(38$b6412$fMA1
959   $aMA1
996   $aTransfinite Type Theory with Type Variables$9344985
997   $aUNINA