The Mathematics of Logic ebook Kaye,Richard W. Diesel eBooks

Fiction eBooks
General Fiction Romance Erotica Fantasy Science Fiction Mystery & Detective Suspense & Thrillers Action & Adventure Children's Fiction Classics & Drama Literary & Poetry Free eBook downloads

Last Viewed

Download Free eBook Readers
Mobipocket Reader Microsoft MS Reader Adobe Reader Palm eReader
To browse or view on: Pocket PC PDA Palm PDA Handspring PDA Wireless Phone Personal PC

Talk To Us

If you notice any site errors or have an idea, we'd love to hear it no matter how small.

Your first time?

We recommend you download one of our test eBooks to make sure you have the right settings on your computer.

Since this was my first digital ebook download, new ground was being broken. Your prompt and thorough reply has made me a very satisfied client of Diesel eBooks. I look forward to future eBook purchases from your company.

W.C. Andrews
Houston, Texas

Home > Education > Mathematics > The Mathematics of Logic-eBook

The Mathematics of Logic

Kaye,Richard W.

Our price:

Discount next order:

Your effective price:

Adobe

$34.60
$-4.34
$30.26
$ 4.34

Wishlist

receive alert on new titles by this author

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 K nig'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.

The Mathematics of Logic ebook adobe icon

Adobe Settings

Read Aloud:	Yes
Copying:	Not allowed
Printing:	You may print 20 pages from this eBook every 30 days

Title of ebook: The Mathematics of Logic
ISBN: 9780511339981
Publisher: Cambridge University Press
Internet download file size: 1155 kb
Pages: 216
Released online for download: 09-29-2007
Author of eBook: Kaye,Richard W.