01320cam a2200337Ia 4500001001500000003000800015005001700023006001900040007000700059008004100066020003200107040002100139090002000160092001600180100002500196245007000221260004500291300002500336504006400361505016900425530003700594538003600631650003800667650003000705650001300735655002800748776001800776776001500794856015600809999001700965AKP0KE01041PDFFlBoTFG20171224123456.0m|||||o||d||||||||cr||||110428s2009    maua    sb    001 0 eng d  a9781439865378 (ebook : PDF)  aFlBoTFGcFlBoTFG  aQA9b.S575 2009  a511.3bS6661 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.  c15059d15059