Cita APA (7a ed.)

Andrews, P. B. (1965). A transfinite type theory with type variables. North-Holland.

Cita Chicago Style (17a ed.)

Andrews, P. B. A Transfinite Type Theory with Type Variables. Amsterdam: North-Holland, 1965.

Cita MLA (9a ed.)

Andrews, P. B. A Transfinite Type Theory with Type Variables. North-Holland, 1965.