Transfinite type theory with type variables
Andrews P B
Transfinite type theory with type variables - 1965 - Studies in logic and the foundation of mathematics ed by L E J Broughwer .
65,112
Textual
PHILOSOPHY
R14, K53
Transfinite type theory with type variables - 1965 - Studies in logic and the foundation of mathematics ed by L E J Broughwer .
65,112
Textual
PHILOSOPHY
R14, K53
