"Clarifying the Nature of the Infinite": the development of metamathematics and proof theory (2001)

View PDF

Download Links

by Jeremy Avigad , Erich H. Reck
Citations:7 - 3 self