- Bestand PAKN, GK Georg Kreisel
Vollansicht Verzeichnungseinheit GK 4-1-107
| Signatur: | GK 4-1-107 |
| Titel: | Bourbaki's Foundations: (re)viewed after some 5 de |
| Laufzeit: | 2004 |
| Enthält: | 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" |
| Gattung: | Sachakte |