Join Amazon Prime and ship Two-Day for free and Overnight for $3.99. Already a member? Sign in.

 

or
Sign in to turn on 1-Click ordering.
 
   
More Buying Choices
27 used & new from $35.00
Have one to sell? Sell yours here
 
   
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series)
 
 
Share your own customer images
Search inside this book
Please tell the publisher:
I’d like to read this book on Kindle

Don’t have a Kindle? Get yours here.
 
  

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series) (Hardcover)

by Peter B. Andrews (Author)
Key Phrases: abstract consistency class, interpolation sentence, frugal model, Deduction Theorem, Compactness Theorem, Axiom of Choice (more...)
4.0 out of 5 stars See all reviews (1 customer review)
List Price: $139.00
Price: $84.89 & this item ships for FREE with Super Saver Shipping. Details
You Save: $54.11 (39%)
Upgrade this book for $16.20 more, and you can read, search, and annotate every page online. See details
In Stock.
Ships from and sold by Amazon.com. Gift-wrap available.

Want it delivered Monday, November 24? Choose One-Day Shipping at checkout. See details

17 new from $35.00 10 used from $35.00