01469nam a2200325Ia 4500 20260803094220.0 251212s2017 xx 000 0 und d A beginner's further guide to mathematical logic / Raymond Smullyan. Smullyan, Raymond Singapore : World Scientific, 2017. ix, 277 pages: illustrations 24 cm Includes bibliographic references and index 978-981-4725-72 paperback Logic, Symbolic and mathematical CIR 511.3 Sm85b 2017 0 0 0 1 0 0 0 0 0 1 1 0 HED6078 in English College Library 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 text unmediated volume lcc BK jpascua 2019-01-16 15:34:50 jpascua 2019-01-16 15:34:50 10753 10680 10680 0 0 ddc 0 0 HED HED HED 2025-12-21 CIR 511.3 Sm85b 2017 HED6078 2026-06-02 00:00:00 2025-12-21 BK