Stock Photo: Cover May Be Different
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)
by Andrews, Peter B
- Used
- Good
- Hardcover
- Condition
- Good
- ISBN 10
- 1402007639
- ISBN 13
- 9781402007637
- Seller
-
Newport Coast, California, United States
Payment Methods Accepted
About This Item
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Reviews
(Log in or Create an Account first!)
Details
- Seller
- Bonita (US)
- Seller's Inventory #
- 1402007639.G
- Title
- An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)
- Author
- Andrews, Peter B
- Format/Binding
- Hardcover
- Book Condition
- Used - Good
- Quantity Available
- 1
- ISBN 10
- 1402007639
- ISBN 13
- 9781402007637
- Publisher
- Springer
- This edition first published
- 2002-07
Terms of Sale
Bonita
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.