by Raymond Smullyan (Author)
Features an approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. Using the logic of lying and truth-telling, this book introduces the informal reasoning preparing them for the formal study of symbolic logic, from propositional logic to first-order logic.
Format: Hardcover
Pages: 275
Edition: 1
Publisher: A K Peters/CRC Press
Published: 30 Nov 2008
ISBN 10: 1568814437
ISBN 13: 9781568814438