An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)
Full Title: | An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27) |
---|---|
ISBN: | 1402007639 |
ISBN13: | 9781402007637 |
List Price: | USD $139.00 |
Authors: |
Andrews, Peter B. |
Related ISBNs