Andrews, P.B. (2002) An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof [cd]. Second Edition, Applied Logic Series. Second Edition. Dordrecht: Imprint: Springer (Applied Logic Series, 27). doi:10.1007/978-94-015-9934-4.
Chicago Manual of Style 17th edition (full note)Andrews, Peter B. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Cd. Applied Logic Series. Second Edition. Applied Logic Series 27. Dordrecht: Imprint: Springer, [2002?], Dordrecht: Imprint: Springer, [2002?]. https://doi.org/10.1007/978-94-015-9934-4.
American Psychological Association 7th editionAndrews, P. B. (ca. 2002). An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof [Cd]. In Applied Logic Series (Second Edition). Imprint: Springer. https://doi.org/10.1007/978-94-015-9934-4
Modern Language Association 9th editionAndrews, P. B. „An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof“. Applied Logic Series, Second Edition, cd, Imprint: Springer, 2002, https://doi.org/10.1007/978-94-015-9934-4.
ISO-690 (author-date, Deutsch)ANDREWS, Peter B, 2002. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Second Edition. Dordrecht: Imprint: Springer. Applied Logic Series, 27. ISBN 9789401599344