01231cam a2200301Ia 4500001001500000003000800015005001700023006001900040007000700059008004100066020003200107040002100139100002500160245007000185260004500255300002500300504006400325505016900389530003700558538003600595650003800631650003000669650001300699655002800712776001800740776001500758856015600773AKP0KE01041PDFFlBoTFG20171224123456.0m|||||o||d||||||||cr||||110428s2009    maua    sb    001 0 eng d  a9781439865378 (ebook : PDF)  aFlBoTFGcFlBoTFG1 aSmullyan, Raymond M.10aLogical labyrinthsh[electronic resource] /cRaymond M. Smullyan.  aWellesley, Mass. :bA.K. Peters,cc2009.  aviii, 327 p. :bill.  aIncludes bibliographical references (p. 321-322) and index.0 a1. Be wise, generalize! -- 2. Be wise, symbolize! -- 3. Infinity -- 4. Fundamental results in first-order logic -- 5. Axiom systems -- 6. More on first-order logic.  aAlso available in print edition.  aMode of access: World Wide Web. 0aLogic, Symbolic and mathematical. 0aMathematical recreations. 0aPuzzles. 7aElectronic books.2lcsh1 z97815688144381 z156881443740uhttp://marc.crcnetbase.com/isbn/9781439865378qapplication/PDFzDistributed by publisher. Purchase or institutional license may be required for access.