TY  - BOOK
AU  - Smullyan, Raymond
TI  - A beginner's further guide to mathematical logic
SN  - 978-981-4725-72
AV  - 511.3 Sm85b 2017 
PY  - 2017///
CY  - Singapore
PB  - World Scientific
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographic references 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
ER  -