APA (7th ed.) Citation

(2002). Theories of types and proofs. Elsevier.

Chicago Style (17th ed.) Citation

Theories of Types and Proofs. Amsterdam [u.a.]: Elsevier, 2002.

MLA (9th ed.) Citation

Theories of Types and Proofs. Elsevier, 2002.

Warning: These citations may not always be 100% accurate.