An Introduction to Mathematical Logic and Type Theory: To Truth through Proof
by Andrews, Peter B
- Used
- Hardcover
- Condition
- See description
- ISBN 10
- 1402007639
- ISBN 13
- 9781402007637
- Seller
-
Ithaca, New York, United States
Payment Methods Accepted
About This Item
Very good condition. A few penciled marginalia by original owner.
Reviews
(Log in or Create an Account first!)
Details
- Bookseller
- Rachel Maines Inc. (US)
- Bookseller's Inventory #
- OCLC50333720
- Title
- An Introduction to Mathematical Logic and Type Theory
- Author
- Andrews, Peter B
- Book Condition
- Used
- Quantity Available
- 1
- Edition
- Second
- Binding
- Hardcover
- ISBN 10
- 1402007639
- ISBN 13
- 9781402007637
- Publisher
- Kluwer Academic Publishers
- Place of Publication
- Dordrecht
- Date Published
- 2002
- Pages
- 390
- 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:
- Marginalia
- Marginalia, in brief, are notes written in the margins, or beside the text of a book by a previous owner. This is very...