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
Copyright @ Delhi University Library System