A transfinite type theory with type variables
By: by P.B. Andrews.
Series: Studies in logic and the foundations of mathematics
Publisher: North-Holland Pub. Co.
Published: 1965
Place of publication: Amsterdam
Language: eng
Number of pages: 143
Subjects: Type theory.
Notes: Bibliography: p. 141.