| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof | 978-1-4020-0763-7 (1-4020-0763-9) | 2002 |
| Introduction to Mathematical Logic and Type Theory. To Truth Through Proof | 978-0-12-058536-6 (0-12-058536-7) | 1986 |
B. A. · B. Andrews · P. A. · P. Andrews · Peter A. · Peter Andrews · Peter B