Smullyan, Raymond <br/><br/>
A beginner's further guide to mathematical logic / 
Raymond Smullyan. 
 - Singapore :  World Scientific,  2017. 
 - ix, 277 pages:   illustrations  24 cm 
<br/><br/> Includes bibliographic references and index 
<br/><br/>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 
<br/><br/><br/>in English 
<br/><br/><label>ISBN: </label>978-981-4725-72 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical
<br/><br/><label>LC Class. No.: </label>511.3 Sm85b 2017