APA (7th ed.) Citation

Andrews, P. B. (2002). An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Second edition.). Springer Netherlands.

Chicago Style (17th ed.) Citation

Andrews, Peter B. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Second edition. Dordrecht: Springer Netherlands, 2002.

MLA (9th ed.) Citation

Andrews, Peter B. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Second edition. Springer Netherlands, 2002.

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