TY  - BOOK
AU  - Andrews P.B.
TI  - A Transfinite Type Thepry With Type Variables
U1  - 519 
PY  - 1965///
CY  - Amsterdam
PB  - North Holland Publishing Company
ER  -