MARC Record from marc_openlibraries_sanfranciscopubliclibrary

LEADER: 03305cam a2200529 a 4500
001 252920882
003 OCoLC
005 20151005082854.0
008 080911s2009 maua b 001 0 eng
010 $a2008039863
020 $a9781568814438 (alk. paper)
020 $a1568814437 (alk. paper)
035 $a252920882
035 $a(OCoLC)252920882
037 $bA K Peters Ltd, 5 Commonwealth rd Ste 2C, Natick, MA, USA, 01760, (508)6510887$nSAN 299-1810
040 $aDLC$beng$cDLC$dYDX$dBTCTA$dYDXCP$dCDX$dMOF$dOUP$dDEBBG$dSGB$dOCLCQ$dSFR$dUtOrBLW
049 $aSFRA
050 00 $aQA9$b.S575 2009
082 00 $a511.3$222
092 $a511.3$bSm85L
100 1 $aSmullyan, Raymond M.
245 10 $aLogical labyrinths /$cRaymond M. Smullyan.
260 $aWellesley, Mass. :$bA K Peters,$cc2009.
300 $aviii, 327 p. :$bill. ;$c24 cm
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
504 $aIncludes bibliographical references (p. 321-322) and index.
505 0 $aBe wise, generalize! -- The logic of lying and truth-telling -- Male or female? -- Silent knights and knaves -- Mad or sane? -- The difficulties double! -- A unification -- Be wise, symbolize! -- Beginning propositional logic -- Liars, truth-tellers, and propositional logic -- Variable liars -- Logical connectives and variable liars -- The tableau method -- All and some -- Beginning first-order logic -- Infinity -- The nature of infinity -- Mathematical induction -- Generalized induction, Konig's lemma, compactness -- Fundamental results in first-order logic -- Fundamental results in propositional logic -- First-order logic: completeness, compactness, Skolem-Lowenheim theorem -- The regularity theorem -- Axiom systems -- Beginning axiomatics -- More propositional axiomatics -- Axiom systems for first-order logic -- More on first-order logic -- Craig's interpolation lemma -- Robinson's theorem -- Beth's definability theorem -- A unification -- Looking ahead.
520 $aThis book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. It serves as a bridge from the autho's puzzle books to his technical writing in the fascinating field of mathematical logic. --from publisher description.
650 0 $aLogic, Symbolic and mathematical.
650 0 $aMathematical recreations.
650 0 $aPuzzles.
856 41 $3Table of contents$uhttp://catdir.loc.gov/catdir/toc/fy0904/2008039863.html
907 $a.b23765483$b12-20-18$c11-04-10
998 $axbt$b01-14-11$cm$da $e-$feng$gmau$h0$i0
957 00 $aOCLC reclamation of 2017-18
907 $a.b23765483$b07-01-14$c11-04-10
938 $aBaker and Taylor$bBTCP$nBK0007976309
938 $aYBP Library Services$bYANK$n2910543
938 $aCoutts Information Services$bCOUT$n8839296
956 $aPre-reclamation 001 value: ocn252920882
980 $a0111 sh
998 $axbt$b01-14-11$cm$da$e-$feng$gmau$h0$i0
994 $aC0$bSFR
999 $yMARS
945 $a511.3$bSm85L$d - - $e09-13-2017 13:49$f0$g0$h10-13-17$i31223092615641$j351$0800$k - - $lxbtci$nMissing as of 2018-06-29$o-$p$49.00$q-$r-$sm $t0$u26$v32$w0$x2$y.i63636918$z03-10-11