![An Introduction to Mathematical Logic and Type Theory](https://d3525k1ryd2155.cloudfront.net/h/203/073/1539073203.0.m.0.jpg)
An Introduction to Mathematical Logic and Type Theory
by Andrews, Peter B
- Used
- Hardcover
- first
- Condition
- See description
- ISBN 10
- 0120585359
- ISBN 13
- 9780120585359
- Seller
-
Ithaca, New York, United States
Payment Methods Accepted
About This Item
Very good condition. Minor scuffing of spine. No markings
Reviews
(Log in or Create an Account first!)
Details
- Bookseller
- Rachel Maines Inc.
(US)
- Bookseller's Inventory #
- LC85-19942
- Title
- An Introduction to Mathematical Logic and Type Theory
- Author
- Andrews, Peter B
- Book Condition
- Used
- Quantity Available
- 1
- Edition
- First
- Binding
- Hardcover
- ISBN 10
- 0120585359
- ISBN 13
- 9780120585359
- Publisher
- Academic Press
- Place of Publication
- Orlando
- Date Published
- 1986
- Pages
- 304
- Keywords
- Logic, Symbolic and mathematical; Type Theory
Terms of Sale
Rachel Maines Inc.
30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.
About the Seller
Rachel Maines Inc.
Biblio member since 2023
Ithaca, New York
About Rachel Maines Inc.
Individual scholar with large book collection
Glossary
Some terminology that may be used in this description includes:
- Spine
- The outer portion of a book which covers the actual binding. The spine usually faces outward when a book is placed on a shelf....