Troelstra, Anne Sjerp.
Troelstra, A. S. (Anne Sjerp)
Troelstra, A.S.
Troelstra, A.S. (Anne Sjerp), 1939-
Troelstra, Anne S. 1939-2019
Troelstra, A. S 1939-2019
Troelstra, A. S., 1939-
Anne Troelstra Nederlands wiskundige
Troelstra, Anne Sjerp 1939-
Troelstra, Anne Sjerp (1939-2019)
VIAF ID: 44365390 ( Personal )
Permalink: http://viaf.org/viaf/44365390
Preferred Forms
- 100 0 _ ‡a Anne Troelstra ‡c Nederlands wiskundige
-
-
- 100 1 _ ‡a Troelstra, A. S.
-
- 100 1 _ ‡a Troelstra, A. S. ‡q (Anne Sjerp)
-
-
- 100 1 _ ‡a Troelstra, A. S. ‡q (Anne Sjerp)
-
-
-
- 100 1 _ ‡a Troelstra, Anne S. ‡d 1939-2019
-
-
- 100 1 _ ‡a Troelstra, Anne Sjerp
-
-
4xx's: Alternate Name Forms (33)
5xx's: Related Names (2)
- 551 _ _ ‡a Blaricum ‡4 orts ‡4 https://d-nb.info/standards/elementset/gnd#placeOfDeath
- 551 _ _ ‡a Maartensdijk bei Utrecht ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
Works
Title | Sources |
---|---|
Axioms for intuitionistic mathematics incompatible with classical logic | |
Basic proof theory | |
Bibliography of natural history travel narratives | |
Choice sequences : a chapter of intuitionistic mathematics | |
Constructivism in mathematics : an introduction | |
Formal systems for some branches of intuitionistic analysis | |
From constructivism to computer science | |
History of constructivism in the twentieth century | |
The interplay between logic and mathematics : intuitionism | |
Intuitionistic general topology | |
Kolibries in de oren : natuurhistorische reisverhalen 1700-1950 | |
The L.E.J. Brouwer centenary symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June, 1981 | |
Lectures on linear logic | |
Logic and foundations of mathematics : dedicated to prof. A. Heyting on his 70th birthday | |
Logic in the writings of Brouwer and Heyting | |
Metamathematical investigation of intuitionistic arithmetic and analysis | |
Moet het altijd een eerste druk wezen? | |
Natural deduction for intuitionistic linear logic | |
Non-linear systems analysis in electro-retinography | |
Notes on intuitionistic second order arithmetic | |
On intermediate propositional logics | |
On the early history of intuitionistic logic | |
On the syntax of Martin-Löf's theories | |
Principles of intuitionism : lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, N.Y. | |
Realizability | |
Remarks on intuitionism and the philosophy of mathematics | |
A supplement to "Choice sequences" | |
Van Spitsbergen naar Suriname : Nederlandse natuurhistorische reisverhalen | |
Ware en gevoelige verhalen | |
ω-bibliography of mathematical logic |