Digitalisierte Bilder gesperrt bis: 31.12.2050
| GK 4-4-1 |
| Troelstra/van Dalen, Construcivism in mathematics. |
| [ca. 1989] |
| Kopien zweier maschinenschriftlicher Versionen und einer handschriftlichen Vorlage der Besprechung. Eine Version (Typoskript der Kopie mit handschriftlichen Zusätzen) diente lt. beiliegender Notiz als Vorlage für eine Veröffentlichung in: Logic and Computer Science, hg. v. P. Odifreddi, London 1990. Ebenfalls erschienen ist die Besprechung im Bulletin of the London Mathematical Society 22 (1990). |
| Sachakte |
