Roads to infinity [electronic resource] : the mathematics of truth and proof / John Stillwell.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 9781439865507 (ebook : PDF)
- Also available in print edition.
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.
There are no comments on this title.