The Mathematics of Logic PDF (Adobe DRM) download by Richard W. Kaye

The Mathematics of Logic

Cambridge University Press
Publication date: September 2007
ISBN: 9780511339981
Digital Book format: PDF (Adobe DRM)

Buy PDF

List price:
$44.00
Our price:
$40.99

You save: $3.01 (7%)
GET THIS EBOOK
FOR FREE!
Join our Facebook sweepstake, share and
get 10 likes. Winners
get notified in 24H!
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.
Please sign in to review this product.
Format:
Devices:
The Mathematics of Logic PDF (Adobe DRM) can be read on any device that can open PDF (Adobe DRM) files.

File Size:
1155 Kb
Language:
ENG
Copy From Text:
Enabled. Limit of 5 selections within 30 days.
Printing:
Enabled. Limit of 20 pages within 30 days.
Recently Viewed Products