Smullyan, Raymond creator text xx Singapore World Scientific 2017 monographic und

print

ix, 277 pages: illustrations 24 cm 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 Raymond Smullyan. Includes bibliographic references and index in English Logic, Symbolic and mathematical 511.3 Sm85b 2017 978-981-4725-72 251212 20260803094220.0