01329cam a2200337Ia 4500 AKP0KE01054PDF FlBoTFG 20171224123459.0 m|||||o||d|||||||| cr|||| 110428s2010 maua sb 001 0 eng d 9781439865507 (ebook : PDF) FlBoTFG FlBoTFG QA248 .S778 2010 511.322 S857 Stillwell, John. Roads to infinity [electronic resource] : the mathematics of truth and proof / John Stillwell. Natick, Mass. : A.K. Peters, c2010. xi, 203 p. : ill. Includes bibliographical references (p. 183-188) and index. 1. The diagonal argument -- 2. Ordinals -- 3. Computability and proof -- 4. Logic -- 5. Arithmetic -- 6. Natural unprovable sentences -- 7. Axioms of infinity. Also available in print edition. Mode of access: World Wide Web. Set theory. Infinite. Logic, Symbolic and mathematical. Electronic books. lcsh 9781568814667 1568814666 http://marc.crcnetbase.com/isbn/9781439865507 application/PDF Distributed by publisher. Purchase or institutional license may be required for access. 15073 15073