Description
This textbook rescues students from traditional, dry and uninspiring introductory courses in logic, quickly providing context using genuine mathematical applications.
About the Author
Richard Kaye is a senior lecturer in pure mathematics at the University of Birmingham.
Reviews
"Kaye (pure mathematics, U. of Birmingham) gives undergraduate and first-year graduates key materials for a first course in logic, including a full mathematical account of the Completeness Theorem for first-order logic. As he builds a series of systems increasing in complexity, and proving and discussing the Completeness Theorem for each, Kaye keeps unfamiliar terminology to a minimum and provides proofs of all the required set theoretical results. He covers K<:o>nig's Lemma (including two ways of looking at mathematics), posets and maximal elements (including order), formal systems (including post systems and compatibility as bonuses), deduction in posets (including proving statements about a poset), Boolean algebras, propositional logic (including a system for proof about propositions), valuations (including semantics for propositional logic), filters and ideals (including the algebraic theory of Boolean algebras), first-order logic, completeness and compactness, model theory (including countable models) and nonstandard analysis (including infinitesimal numbers)." --Book News
Book Information
ISBN 9780521708777
Author Richard W. Kaye
Format Paperback
Page Count 216
Imprint Cambridge University Press
Publisher Cambridge University Press
Weight(grams) 304g
Dimensions(mm) 225mm * 153mm * 10mm