01166nam2-2200361---450-99000322860020331620091110102219.0000322860USA01000322860(ALEPH)000322860USA0100032286020090427d1965----km-y0itay50------baengNL||||||||001yy<<A>> transfinite type theory with type variablesP.B. AndrewsL.E.J. Brouwer...[et al.] (Eds.)AmsterdamNorth-Holland1965XV, 143 p.ill.23 cmStudies in logic and the foundations of mathematics30010003345862001Studies in logic and the foundations of mathematics3Logica matematica511.3ANDREWS,P.B.368362BROUWER,L.E.J.ITsalbcISBD990003228600203316510 SL 31632/CBS51000216296BKSCIRSIAV79020090427USA011033RSIAV79020091110USA011022Transfinite type theory with type variables435909UNISA