Beginner's guide to mathematical logic/
Smullyan, Raymond M.
Beginner's guide to mathematical logic/ [by] Raymond M. Smullyan. - New York: Dover Publications, c2014 - iii, 284 p. : ill. ; 24 cm. - Dover books on mathematics .
Includes bibliographical references (pages 263-264) and index.
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.
9780486492377(pbk.) : USD 19.95 = MATHEMATICS
Logic, Symbolic and mathematics
Mathematics
511.3 / SMU/B
Beginner's guide to mathematical logic/ [by] Raymond M. Smullyan. - New York: Dover Publications, c2014 - iii, 284 p. : ill. ; 24 cm. - Dover books on mathematics .
Includes bibliographical references (pages 263-264) and index.
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.
9780486492377(pbk.) : USD 19.95 = MATHEMATICS
Logic, Symbolic and mathematics
Mathematics
511.3 / SMU/B