An edition of A beginner's further guide to mathematical logic
(2017)
A beginner's further guide to mathematical logic
by Raymond M. Smullyan
- 4 Want to read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Table of 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.
Edition Notes
Includes bibliographical references (pages 261-263) and index.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?Lists
See All-
Logik
from Gerhard Thomas
-
Mathematik
from Gerhard Thomas
History
- Created May 24, 2019
- 9 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| December 7, 2022 | Edited by ImportBot | import existing book |
| December 3, 2022 | Edited by ImportBot | import existing book |
| November 28, 2022 | Edited by bitnapper | merge authors |
| March 9, 2022 | Edited by ImportBot | import existing book |
| May 24, 2019 | Created by MARC Bot | Imported from marc_openlibraries_sanfranciscopubliclibrary MARC record |