(2002). Theories of types and proofs. Elsevier.
Chicago-Zitierstil (17. Ausg.)Theories of Types and Proofs. Amsterdam [u.a.]: Elsevier, 2002.
MLA-Zitierstil (9. Ausg.)Theories of Types and Proofs. Elsevier, 2002.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.