Andrews, P. B. (1965). A transfinite type theory with type variables. North-Holland Publ.Co.
Chicago-Zitierstil (17. Ausg.)Andrews, Peter B. A Transfinite Type Theory with Type Variables. Amsterdam: North-Holland Publ.Co, 1965.
MLA-Zitierstil (9. Ausg.)Andrews, Peter B. A Transfinite Type Theory with Type Variables. North-Holland Publ.Co, 1965.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.