CMI Library

Your cart is empty.
Normal view MARC view ISBD view

A beginner's further guide to mathematical logic / Raymond Smullyan.

By: Smullyan, Raymond M [author.].
Material type: TextTextPublisher: 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
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.
List(s) this item appears in: 2018-02-16
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
Total holds: 0

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.