Παραπομπή APA

Andrews, P. B. (2002). An introduction to mathematical logic and type theory: To truth through proof (2nd ed.). Dordrecht: Kluwer Academic Publishers.

Παραπομπή Chicago Style

Andrews, Peter B. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. 2nd ed. Dordrecht: Kluwer Academic Publishers, 2002.

Παραπομπή MLA

Andrews, Peter B. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. 2nd ed. Dordrecht: Kluwer Academic Publishers, 2002.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.