A transfinite type theory with type variables, (Studies in logic and the foundations of mathematics)
Publisher: North-Holland Pub. Co
Published: 1965
Language: eng
Number of pages: 166