"Clarifying the Nature of the Infinite": the development of metamathematics and proof theory (2001)
Cached
Download Links
- [www.andrew.cmu.edu]
- [www.andrew.cmu.edu]
- DBLP
Other Repositories/Bibliography
by
Jeremy Avigad
,
Erich H. Reck
| Citations: | 4 - 2 self |
Document Versions
| "Clarifying the Nature of the Infinite": the development of metamathematics and proof theory –Jeremy Avigad, Erich H. Reck — 2001 |
