Digitalisierte Bilder gesperrt bis: 31.12.2050
| GK 4-1-107 |
| Bourbaki's Foundations: (re)viewed after some 5 decades |
| 2004 |
| eine maschinenschriftliche Version, eine Kopie dieser Version mit handschriftlichen Korrekturen und ein handschriftliches Manuskript. Außerdem enthalten ist die Kopie eines handschriftlichen Manuskriptes mit dem Titel "Some second thoughts around - the agenda of - the RS meeting on the nature of mathematical proofs" |
| 184 Bl. |
| PAKN, GK (Georg Kreisel), GK 4-1-107 |