Call Boomerang Books 1300 36 33 32

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 book by Richard W. Kaye from Australia's Online Independent Bookstore, Boomerang Books.

Book Details

ISBN: 9780521882194
ISBN-10: 0521882192
Format: Hardback
(228mm x 152mm x 18mm)
Pages: 206
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 12-Jul-2007
Country of Publication: United Kingdom

Other Editions

Reviews

» 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 Author Richard W. Kaye

Mathematics of Logic by Richard W. Kaye

The Mathematics of Logic

Paperback, July 2007
$80.96