01329cam a2200337Ia 4500001001500000003000800015005001700023006001900040007000700059008004100066020003200107040002100139090002200160092001800182100002100200245010200221260004200323300002300365504006400388505016400452530003700616538003600653650001600689650001400705650003800719655002800757776001800785776001500803856015600818999001700974AKP0KE01054PDFFlBoTFG20171224123459.0m|||||o||d||||||||cr||||110428s2010    maua    sb    001 0 eng d  a9781439865507 (ebook : PDF)  aFlBoTFGcFlBoTFG  aQA248b.S778 2010  a511.322bS8571 aStillwell, John.10aRoads to infinityh[electronic resource] :bthe mathematics of truth and proof /cJohn Stillwell.  aNatick, Mass. :bA.K. Peters,cc2010.  axi, 203 p. :bill.  aIncludes bibliographical references (p. 183-188) and index.0 a1. The diagonal argument -- 2. Ordinals -- 3. Computability and proof -- 4. Logic -- 5. Arithmetic -- 6. Natural unprovable sentences -- 7. Axioms of infinity.  aAlso available in print edition.  aMode of access: World Wide Web. 0aSet theory. 0aInfinite. 0aLogic, Symbolic and mathematical. 7aElectronic books.2lcsh1 z97815688146671 z156881466640uhttp://marc.crcnetbase.com/isbn/9781439865507qapplication/PDFzDistributed by publisher. Purchase or institutional license may be required for access.  c15073d15073