In addition to the technically required cookies, our website also uses cookies for statistical evaluation. You can also use the website without these cookies. By clicking on "I agree" you agree that we may set cookies for analysis purposes. You can see and change your cookie settings here.
Troelstra/van Dalen,. Construcivism in mathematics. An introduction, 1988
Georg Kreisel >> Salzburg-Teil >> Manuskripte >> Rezensionen
[ca. 1989]
Enthält: 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).
