TY  - BOOK
AU  - Stillwell,John
TI  - Roads to infinity: the mathematics of truth and proof 
SN  - 9781439865507 (ebook : PDF)
PY  - 2010///
CY  - Natick, Mass.
PB  - A.K. Peters
KW  - Set theory
KW  - Infinite
KW  - Logic, Symbolic and mathematical
KW  - Electronic books
KW  - lcsh
N1  - 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
UR  - http://marc.crcnetbase.com/isbn/9781439865507
ER  -