Combining stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic, this new textbook for first courses in mathematical logic was written by the subject's creative master. Raymond Smullyan offers clear, incremental presentations of difficult logic concepts with creative explanations and unique problems related to proofs, propositional logic and first-order logic, undecidability, recursion theory, and other topics.
Read more
Combining stories of great writers and philosophers with quotations and riddles, this completely original text for first courses in mathematical logic examines problems related to proofs, propositional logic and first-order logic, undecidability, and other topics. 2013 edition.
Read more
Product details
ISBN
9780486492377
Published
2014-07-25
Publisher
Dover Publications Inc.
Weight
425 gr
Height
235 mm
Width
156 mm
Thickness
14 mm
Age
01, U, 05
Language
Product language
Engelsk
Format
Product format
Heftet
Number of pages
288
Author