| 000 | 01329cam a2200337Ia 4500 | ||
|---|---|---|---|
| 001 | AKP0KE01054PDF | ||
| 003 | FlBoTFG | ||
| 005 | 20171224123459.0 | ||
| 006 | m|||||o||d|||||||| | ||
| 007 | cr|||| | ||
| 008 | 110428s2010 maua sb 001 0 eng d | ||
| 020 | _a9781439865507 (ebook : PDF) | ||
| 040 |
_aFlBoTFG _cFlBoTFG |
||
| 090 |
_aQA248 _b.S778 2010 |
||
| 092 |
_a511.322 _bS857 |
||
| 100 | 1 | _aStillwell, John. | |
| 245 | 1 | 0 |
_aRoads to infinity _h[electronic resource] : _bthe mathematics of truth and proof / _cJohn Stillwell. |
| 260 |
_aNatick, Mass. : _bA.K. Peters, _cc2010. |
||
| 300 |
_axi, 203 p. : _bill. |
||
| 504 | _aIncludes bibliographical references (p. 183-188) and index. | ||
| 505 | 0 | _a1. The diagonal argument -- 2. Ordinals -- 3. Computability and proof -- 4. Logic -- 5. Arithmetic -- 6. Natural unprovable sentences -- 7. Axioms of infinity. | |
| 530 | _aAlso available in print edition. | ||
| 538 | _aMode of access: World Wide Web. | ||
| 650 | 0 | _aSet theory. | |
| 650 | 0 | _aInfinite. | |
| 650 | 0 | _aLogic, Symbolic and mathematical. | |
| 655 | 7 |
_aElectronic books. _2lcsh |
|
| 776 | 1 | _z9781568814667 | |
| 776 | 1 | _z1568814666 | |
| 856 | 4 | 0 |
_uhttp://marc.crcnetbase.com/isbn/9781439865507 _qapplication/PDF _zDistributed by publisher. Purchase or institutional license may be required for access. |
| 999 |
_c15073 _d15073 |
||