by Peter B. Andrews
Paperback
ISBN: 978-0-12-058536-6
ISBN-10: 0-12-058536-7
Academic Pr · 1986
|
|
by Peter B. AndrewsPaperback
ISBN: 978-0-12-058536-6 ISBN-10: 0-12-058536-7 Academic Pr · 1986 |
| See also: | ||
| 2002 | Hardcover | An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series) |