Description |
1 online resource (iii, 284 pages) |
Series |
Dover books on mathematics |
|
Dover books on mathematics.
|
Contents |
Part I General Background; Chapter 1 Genesis; Chapter 2 Infinite Sets; Chapter 3 Some Problems Arise!; Chapter 4 Further Background; Part II Propositional Logic; Chapter 5 Beginning Propositional Logic; Chapter 6 Propositional Tableaux; Chapter 7 Axiomatic Propositional Logic; Part III First-Order Logic; Chapter 8 Beginning First-Order Logic; Chapter 9 First-Order Logic: Main Topics; Part IV The Incompleteness Phenomenon; Chapter 10 Incompleteness in a General Setting; Chapter 11 Elementary Arithmetic; Chapter 12 Formal Systems; Chapter 13 Peano ArithmeticChapter 14 Further Topics |
Summary |
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 |
Bibliography |
Includes bibliographical references (pages 253-254) and index |
Notes |
English |
|
Print version record |
Subject |
Logic, Symbolic and mathematical.
|
|
MATHEMATICS -- Logic.
|
|
MATHEMATICS -- General.
|
|
Logic, Symbolic and mathematical
|
Form |
Electronic book
|
ISBN |
9780486782973 |
|
0486782972 |
|