A beginner's further guide to mathematical logic / Raymond Smullyan.
By: Smullyan, Raymond M [author.].
Material type:
TextPublisher: New Jersey : World Scientific, 2017Description: ix, 277 pages : USD 58.00 illustrations ; 24 cm.Content type: text Media type: unmediated Carrier type: volumeISBN: 9789814730990 (hardcover : alk. paper); 9814730998 (hardcover : alk. paper).Subject(s): Logic, Symbolic and mathematicalDDC classification: 511.3 | Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Book | Chennai Mathematical Institute General Stacks | 511.3 SMU (Browse shelf) | Available | 10308 |
Browsing Chennai Mathematical Institute Shelves , Shelving location: General Stacks Close shelf browser
| No cover image available No cover image available |
|
|
|
|
|
|
||
| 511.3 SIE Cardinal and ordinal numbers. | 511.3 SMI An introduction to Gödel's theorems / | 511.3 SMU First-order logic / | 511.3 SMU A beginner's further guide to mathematical logic / | 511.3 SMU A beginner's guide to mathematical logic / | 511.3 SRI A course on mathematical logic / | 511.3 STE The foundations of mathematics / |
Includes bibliographical references (pages 261-263) and index.
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.