LEADER 00767nam0-22002771i-450- 001 990000953750403321 035 $a000095375 035 $aFED01000095375 035 $a(Aleph)000095375FED01 035 $a000095375 100 $a20000920d19611965km-y0itay50------ba 101 0 $aeng 200 1 $a<>Transfinite Type Theory with Type Variables$fby P.B. Andrews 210 $aAmsterdam$cNorth-Holland$d1965 215 $axv, 143 p.$d23 cm 610 0 $aLogica 610 0 $aRicorsività 676 $a160 700 1$aAndrews,$bPeter B.$044359 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000953750403321 952 $a7-002$b4832$fFI1 959 $aFI1 996 $aTransfinite Type Theory with Type Variables$9344985 997 $aUNINA