TY  - BOOK
AU  - Andrews P B
TI  - Transfinite type theory with type variables
T2  - Studies in logic and the foundation of mathematics ed by L E J Broughwer
U1  - R14, K53 
PY  - 1965///
KW  - PHILOSOPHY
ER  -