000			01469nam a2200325Ia 4500
005			20260803094220.0
008			251212s2017 xx 000 0 und d
245	1		_aA beginner's further guide to mathematical logic / _cRaymond Smullyan.
100			_aSmullyan, Raymond
260			_aSingapore : _bWorld Scientific, _c2017.
300			_aix, 277 pages: _billustrations
300			_c24 cm
500			_aIncludes bibliographic references and index
020			_a978-981-4725-72 _qpaperback
650			_aLogic, Symbolic and mathematical
944			_aCIR
050			_a511.3 Sm85b 2017
943			_b0 _c0 _d0 _e1 _f0 _g0 _h0 _i0 _j0
944			_b1 _c1 _d0
953			_pHED6078
546			_ain English
953			_cCollege Library
505			_aMore 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
591			_a0
336			_atext
337			_aunmediated
338			_avolume
942			_2lcc _cBK _ajpascua _b2019-01-16 15:34:50 _djpascua _e2019-01-16 15:34:50
998			_a10753
999			_c10680 _d10680