Andrews, P. B. [ca. 2002]. An introduction to mathematical logic and type theory : to truth through proof. In Applied logic series (2. ed.) [Book]. Dordrecht: Kluwer Acad. Publ.

ANDREWS, Peter Bruce, 2002. An introduction to mathematical logic and type theory : to truth through proof. 2. ed. Dordrecht: Kluwer Acad. Publ. Applied logic series, 27. ISBN 1402007639.

Andrews, P. B. „An introduction to mathematical logic and type theory : to truth through proof“. Applied logic series, 2. ed., book, Kluwer Acad. Publ., 2002.

Andrews, Peter Bruce: An introduction to mathematical logic and type theory : to truth through proof, . Applied logic series, 2. ed. Aufl. Dordrecht 2002.

Andrews, P.B. (2002), An introduction to mathematical logic and type theory : to truth through proof, Applied logic series, 2. ed., Bd. , Kluwer Acad. Publ., Dordrecht.