Skip to content

An Introduction to Mathematical Logic and Type Theory

An Introduction to Mathematical Logic and Type Theory

Click for full-size.

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Ithaca, New York, United States
Item Price
$30.00
Or just $27.00 with a
Bibliophiles Club Membership
$3.00 Shipping to USA
Standard delivery: 2 to 8 days

More Shipping Options

Payment Methods Accepted

  • Visa
  • Mastercard
  • American Express
  • Discover
  • PayPal

About This Item

Very good condition. A few penciled marginalia by original owner.

Reviews

(Log in or Create an Account first!)

You’re rating the book as a work, not the seller or the specific copy you purchased!

Details

Bookseller
Rachel Maines Inc. US (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.

Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
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...
tracking-