B. A. · B. Andrews · Peter Andrews
| title | ISBN-13 (ISBN-10) | year of publica- tion |
|---|---|---|
| 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 |