This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem for each, the author ensures that the number of new concepts to be absorbed at each stage is manageable, whilst providing lively mathematical applications throughout. Unfamiliar ...
Read More
This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem for each, the author ensures that the number of new concepts to be absorbed at each stage is manageable, whilst providing lively mathematical applications throughout. Unfamiliar terminology is kept to a minimum, no background in formal set-theory is required, and the book contains proofs of all the required set theoretical results. The reader is taken on a journey starting with Konig's Lemma, and progressing via order relations, Zorn's Lemma, Boolean algebras, and propositional logic, to completeness and compactness of first-order logic. As applications of the work on first-order logic, two final chapters provide introductions to model theory and nonstandard analysis.
Read Less
Add this copy of The Mathematics of Logic to cart. $44.88, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2007 by Cambridge University Press.
Add this copy of The Mathematics of Logic: A Guide to Completeness to cart. $62.75, new condition, Sold by Booksplease rated 4.0 out of 5 stars, ships from Southport, MERSEYSIDE, UNITED KINGDOM, published 2007 by Cambridge University Press.
Add this copy of The Mathematics of Logic: a Guide to Completeness to cart. $46.00, very good condition, Sold by Univ of Dallas Library rated 5.0 out of 5 stars, ships from Irving, TX, UNITED STATES, published 2007 by Cambridge University Press, 2007.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very good. 2007 hardcover. No DJ. Bright yellow cover has very light shelf wear on edges. Hinges are tight. Pages are clean and unmarked. Not ex-library.
Add this copy of The Mathematics of Logic to cart. $66.57, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2007 by Cambridge University Press.
Add this copy of The Mathematics of Logic to cart. $97.22, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2007 by Cambridge University Press.
Add this copy of The Mathematics of Logic to cart. $130.49, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2007 by Cambridge University Press.
Add this copy of The Mathematics of Logic to cart. $79.84, new condition, Sold by Just one more Chapter rated 3.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 2007 by Cambridge University Press.
