Mathematics of Logic by Richard W. Kaye
Look inside with Google Book Preview
Mathematics of Logic
By Richard W. Kaye

The Mathematics of Logic

A Guide to Completeness Theorems and Their Applications

By (author) See other recent books by Richard W. Kaye
Format: Paperback

Normal Price: $89.95
Your Price: $80.96 AUD, inc. GST
Shipping: $7.95 per order
You Save: $9.00! (10% off normal price)
Plus...earn $4.05 in Boomerang Bucks
Availability: Available Available to Backorder, No Due Date for Supply

Mathematics of Logic by Richard W. Kaye

Book Description

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 Mathematics of Logic book by Richard W. Kaye from Australia's Online 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...

Books By Author Richard W. Kaye

Mathematics of Logic by Richard W. Kaye Mathematics of Logic, Hardback (July 2007)

This textbook rescues students from traditional, dry and uninspiring introductory courses in logic, quickly providing context using genuine mathematical applications.

» View all books 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 member - it's free to sign up!)

Write a book review

Author Biography - Richard W. Kaye

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

Boomerang Bucks close

For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.

Recent books by Richard W. Kaye close
Mathematics of Logic by Richard W. Kaye
» close