Books+ Search Results
A beginner's further guide to mathematical logic
Title
A beginner's further guide to mathematical logic / Raymond Smullyan.
ISBN
9789814730990
9814730998
9789814725729
9814725722
Publication
Singapore ; Hackensack, NJ : World Scientific Publishing Co. Pte. Ltd., [2017]
Physical Description
ix, 277 pages ; 23 cm
Format
Books
Language
English
Added to Catalog
December 15, 2016
Bibliography
Includes bibliographical references and index.
Contents
More on propositional and first-order logic
More on propositional logic
More on first-order logic
Recursion theory and metamathematics
Some special topics
Elementary formal systems and recursive enumerability
Some recursion theory
Doubling up
Metamathematical applications
Elements of combinatory logic
Beginning combinatory logic
Combinatorics galore
Sages, oracles, and doublets
Complete and partial systems
Combinators, recursion, and the undecidable
Where to go from here.
Bookmark As
Citation
