APA (7th ed.) Citation

Andrews, P. B. (1986). An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews: To truth through proof. Academic.

Chicago Style (17th ed.) Citation

Andrews, Peter B. An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof / Peter B. Andrews: To Truth Through Proof. Orlando ; London: Academic, 1986.

MLA (9th ed.) Citation

Andrews, Peter B. An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof / Peter B. Andrews: To Truth Through Proof. Academic, 1986.

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