APA-referens (7:e uppl.)

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

Chicago-referens (17:e uppl.)

Andrews, P. B. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Orlando: Academic Press, 1986.

MLA-referens (9:e uppl.)

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