00996nam--2200349---450-99000206259020331620090319142225.0000206259USA01000206259(ALEPH)000206259USA0100020625920041008d1965----km-y0itay0103----baengNE||||||||001yy<<A>> transfinite type theory with type variablesP.B. AndrewAmsterdamPublishing Company1965XVI, 146 p.19 cm20012001001-------2001510ANDREW,P.B.567024ITsalbcISBD990002062590203316510 AND 1 (ISP II 123)15141 E.C.ISP II00202569BKECOSIAVPROV1020041008USA011113RSIAV29020090319USA011422Transfinite type theory with type variables1043618UNISA