A beginner's further guide to mathematical logic
By: Raymond Smullyan
Published: 2017
Language: eng
Number of pages: 277
ISBN-13: 9789814730990; 9789814725729
Subjects: Symbolic and mathematical Logic
Notes: Includes bibliographical references (pages 261-263) and index.
Table of contents: title: More on propositional and first-order logic; title: More on propositional logic; title: More on first-order logic; title: Recursion theory and metamathematics; title: Some special topics; title: Elementary formal systems and recursive enumerability; title: Some recursion theory; title: Doubling up; title: Metamathematical applications; title: Elements of combinatory logic; title: Beginning combinatory logic; title: Combinatorics galore; title: Sages, oracles, and doublets; title: Complete and partial systems; title: Combinators, recursion, and the undecidable; title: Where to go from here.