The Mathematics of Logic A Guide to Completeness Theorems and Their Applications |
|
| Author:
| Kaye, Richard |
| ISBN: | 978-0-521-88219-4 |
| Publication Date: | Jul 2007 |
| Publisher: | Cambridge University Press
|
| Book Format: | Hardback |
| List Price: | AUD $188.95 |
Book Description:
|
Undergraduate textbook covering the key material for a typical first course in logic, including a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. The author ensures that the number of new concepts at each stage is manageable, whilst providing lively mathematical applications throughout.
Undergraduate textbook covering the key material for a typical first course in logic, including a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. The author ensures that the number of new concepts at each stage is manageable, whilst providing lively mathematical applications throughout.