The Mathematics of Logic - A Guide to Completeness Theorems and their Applications - Richard W. Kaye - Paperback Bog - Cambridge University Press -

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.