Peter Bruce Andrews
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
- Availability
- To see availability please select your region.
- Books2Africa Collection
-
- Subjects
- Author(s)
- Published
- 21st January 1986
- Publisher
- ISBN-10
- 0120585367
- ISBN-13
- 0120585367
To reserve this book you first need to set your reservation location.