Anne Troelstra
mini|Troelstra (rechts) mit Helmut Schwichtenberg und Yiannis Moschovakis (links), [[Mathematisches Forschungsinstitut Oberwolfach|Oberwolfach 2002]]
Anne Sjerp Troelstra (* 10. August 1939 in Maartensdijk bei Utrecht; † 7. März 2019 in Blaricum) war ein niederländischer mathematischer Logiker. Veröffentlicht in Wikipedia
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
Principles of Intuitionism Lectures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y.
Veröffentlicht 1969DE-12
DE-634
DE-526
DE-210
DE-521
DE-1046
DE-Aug4
DE-573
DE-M347
DE-859
DE-860
DE-523
DE-70
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-706
DE-29
DE-739
Volltext
Elektronisch E-Book -
11
Supplement to bibliography of natural history travel narratives
Veröffentlicht 2018DE-Y2
Elektronisch E-Book -
12
-
13
-
14
-
15
Constructivism in mathematics an introduction
Veröffentlicht 1988DE-1046
URL des Erstveröffentlichers
Elektronisch E-Book -
16
A note on non-extensional operations in connection with continuity and recursiveness
Veröffentlicht 1977Buch -
17
-
18
-
19
-
20