MARC Record from marc_columbia

LEADER: 03716cam a2200601Ia 4500
001 15082835
005 20220326231421.0
006 m o d
007 cr |||||||||||
008 110915s2009 maua ob 001 0 eng d
035 $a(OCoLC)ocn752540285
035 $a(NNC)15082835
040 $aCUS$beng$epn$cCUS$dOCLCQ$dOCLCF$dYDXCP$dCRCPR$dOCLCQ$dN$T$dIDEBK$dE7B$dEBLCP$dOCLCQ$dOCLCA$dOCLCQ$dMERUC$dUAB$dOCLCQ$dERL$dCUS$dNLE$dOCLCQ$dUKMGB$dWYU$dYDX$dTYFRS$dLEAUB$dUKAHL$dOCLCQ$dK6U$dOCLCO
015 $aGBB7C5826$2bnb
016 7 $a018425299$2Uk
019 $a905983770$a908064424$a1031041213$a1065823343
020 $a9781439865378$q(electronic bk.)
020 $a143986537X$q(electronic bk.)
020 $z9781568814438$q(alk. paper)
020 $z1568814437$q(alk. paper)
035 $a(OCoLC)752540285$z(OCoLC)905983770$z(OCoLC)908064424$z(OCoLC)1031041213$z(OCoLC)1065823343
037 $aTANDF_234358$bIngram Content Group
050 4 $aQA9$b.S575 2009
072 7 $aMAT$x000000$2bisacsh
082 04 $a511.3$bS666
049 $aZCUA
100 1 $aSmullyan, Raymond M.
245 10 $aLogical labyrinths /$cRaymond M. Smullyan.
260 $aWellesley, Mass. :$bA K Peters,$c©2009.
300 $a1 online resource (viii, 327 pages) :$billustrations
336 $atext$btxt$2rdacontent
337 $acomputer$bc$2rdamedia
338 $aonline resource$bcr$2rdacarrier
504 $aIncludes bibliographical references (page 321322) and index.
505 0 $aBe wise, generalize! The logic of lying and truthtelling -- 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 author's puzzle books to his technical writing in the fascinating field of mathematical logic. --from publisher description.
588 0 $aPrint version record.
650 0 $aLogic, Symbolic and mathematical.
650 0 $aMathematical recreations.
650 0 $aPuzzles.
650 6 $aLogique symbolique et mathématique.
650 6 $aJeux mathématiques.
650 6 $aJeux intellectuels.
650 7 $ajigsaw puzzles.$2aat
650 7 $aMATHEMATICS$xGeneral.$2bisacsh
650 7 $aLogic, Symbolic and mathematical.$2fast$0(OCoLC)fst01002068
650 7 $aMathematical recreations.$2fast$0(OCoLC)fst01012120
650 7 $aPuzzles.$2fast$0(OCoLC)fst01084492
655 0 $aElectronic books.
655 4 $aElectronic books.
776 08 $iPrint version:$aSmullyan, Raymond M.$tLogical labyrinths.$dWellesley, Mass. : A K Peters, ©2009$z9781568814438$w(DLC) 2008039863$w(OCoLC)252920882
856 40 $uhttp://www.columbia.edu/cgi-bin/cul/resolve?clio15082835$zTaylor & Francis eBooks
852 8 $blweb$hEBOOKS