Archive der Universität Konstanz

Signatur:	GK 4-4-1
Titel:	Troelstra/van Dalen, Construcivism in mathematics. An introduction, 1988
Laufzeit:	[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).
Umfang:	19 Bl.
Bestellsignatur:	PAKN, GK (Georg Kreisel), GK 4-4-1

GK 4-4-2 - Pour-El, Marian B./Richards J. Ian, Computability - 1991

GK 4-4-3 - Detlefsen, J. of Phil. Logic 19 (1990) - 1991

GK 4-4-4 - Luckhardt, Theor. Comput. Sci. 83 (1991) - 1991

GK 4-4-5 - Besprechung J. Hintikka - [ca. 1993]

GK 4-4-6 - Reviews Zentralblatt für Mathematik - 1968-1995

Korrespondenz

Varia

Persönliches

Deposita

Universitätsarchiv