A beginner's guide to mathematical logic / Raymond M. Smullyan.
Material type: TextSeries: Dover books on mathematicsPublisher: Mineola, New York : Dover Publications, Inc., [2014]Description: iii, 284 pages ; 24 cmContent type: text Media type: unmediated Carrier type: volumeISBN: 9780486492377 (pbk.); 0486492370 (pbk.)Subject(s): Logic, Symbolic and mathematical | Logic, Symbolic and mathematicalDDC classification: 511.3 LOC classification: QA9.A1 | Sm8 2014Summary: Written by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic. Author Raymond Smullyan offers clear, incremental presentations of difficult logic concepts. He highlights each subject with inventive explanations and unique problems. Smullyan's accessible narrative provides memorable examples of concepts related to proofs, propositional logic and first-order logic, incompleteness theorems, and incompleteness proofs. Additional topics include undecidability, combinatoric logic, and recursion theory. Suitable for undergraduate and graduate courses, this book will also amuse and enlighten mathematically minded readers-- Source other than Library of Congress.Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
AAMUSTED Books | AAMUSTED LIBRARY, KUMASI Reference | QA9.A1 .Sm8 2014 (Browse shelf(Opens below)) | 1 | Available (Restricted Access) | 0000009555 | |
AAMUSTED Books | AAMUSTED LIBRARY, KUMASI Reserve Book Shelf | QA9.A1 Sm8 2014 (Browse shelf(Opens below)) | 2 | Available (Restricted Access) | 0000001175 |
Browsing AAMUSTED LIBRARY, KUMASI shelves, Shelving location: Reference Close shelf browser (Hides shelf browser)
QA5 .P37 1989 The Penguin dictionary of mathematics / | QA8.7 M36 1994 Mathematics for Teacher Training in Ghana/ edited by J.L. Martin [et...l] | QA8.7 M36 1994 Mathematics for Teacher Training in Ghana/ edited by J.L. Martin [et...l] | QA9.A1 .Sm8 2014 A beginner's guide to mathematical logic / | QA9 .M52 2015 Introduction to mathematical logic / | QA9.25 .K82 2016 Basic discrete mathematics : logic, set theory, & probability / | QA9.54 .T14 2013 Proof theory / |
Includes bibliographical references (pages 263-264) and index.
Written by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic. Author Raymond Smullyan offers clear, incremental presentations of difficult logic concepts. He highlights each subject with inventive explanations and unique problems. Smullyan's accessible narrative provides memorable examples of concepts related to proofs, propositional logic and first-order logic, incompleteness theorems, and incompleteness proofs. Additional topics include undecidability, combinatoric logic, and recursion theory. Suitable for undergraduate and graduate courses, this book will also amuse and enlighten mathematically minded readers-- Source other than Library of Congress.
There are no comments on this title.