Call Boomerang Books 1300 36 33 32

Get Latest Book News + FREE Shipping. Subscribe to the Boomerang Books Bulletin eNewsletter right now!

Description - The Mathematics of Logic by Richard W. Kaye

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.

Buy The Mathematics of Logic by Richard W. Kaye from Australia's Online Independent Bookstore, Boomerang Books.

Book Details

ISBN: 9780521708777
ISBN-10: 052170877X
Format: Paperback
(228mm x 152mm x 10mm)
Pages: 216
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 12-Jul-2007
Country of Publication: United Kingdom

Other Editions - The Mathematics of Logic by Richard W. Kaye

Book Reviews - The Mathematics of Logic by Richard W. Kaye

» Have you read this book? We'd like to know what you think about it - write a review about Mathematics of Logic book by Richard W. Kaye and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a Boomerang Books Account Holder - it's free to sign up and there are great benefits!)

Write Review


Author Biography - Richard W. Kaye

Richard Kaye is a senior lecturer in pure mathematics at the University of Birmingham.

Books By Richard W. Kaye

Mathematics of Logic by Richard W. Kaye
Hardback, July 2007
$229.50