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

By: Material type: TextTextPublication details: Singapore : World Scientific, 2017.Description: ix, 277 pages: illustrations; 24 cmContent type:
  • text
Media type:
  • unmediated
Carrier type:
  • volume
ISBN:
  • 978-981-4725-72
Subject(s): LOC classification:
  • 511.3 Sm85b 2017
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
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Barcode
Books Books FEU - Cavite Higher Education HED Library CIR 511.3 Sm85b 2017 (Browse shelf(Opens below)) Available HED6078

Includes bibliographic references and index

in English

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

0

There are no comments on this title.

to post a comment.