Troelstra, Anne Sjerp (1939-2019)
B0318173: omslag: "Anne S. Troelstra is emeritus hoogleraar wiskunde ... een interesse die zich later uitbreidde tot de geschiedenis van de biologie en het natuurhistorisch reisverhaal."
| rdfs:label | "Troelstra, Anne Sjerp (1939-2019)" |
| schema:name | "Anne Sjerp Troelstra" |
|
schema:family |
"Troelstra" |
|
schema:given |
"Anne Sjerp" |
|
schema:alternate |
"Troelstra, Anne" |
| "Troelstra, Anne S." | |
| schema:description | "B0318173: omslag: "Anne S. Troelstra is emeritus hoogleraar wiskunde ... een interesse die zich later uitbreidde tot de geschiedenis van de biologie en het natuurhistorisch reisverhaal."" |
| "bron: https://www.mensenlinq.nl/overlijdensberichten/ronald-dick-huijsman-858838" | |
| "wiskundige (promoveerde in 1964, RU Utrecht); was hoogleraar wiskunde Universiteit van Amsterdam; interessegebieden: geschiedenis der biologie en 'het natuurhistorische reisverhaal'" | |
| schema:nationality | "nl" |
|
schema:birth |
"1939" |
|
schema:death |
"2019" |
|
schema:same |
<https:/ |
| wd:Q565846 | |
|
<http:/ |
|
|
schema:main |
<https:/ |
Inverse relations
[ .. ] → schema:author → Troelstra, Anne Sjerp (1939-2019)
Axioms for intuitionistic mathematics incompatible with classical logic / by A. S. Troelstraschema:ProductModel
Bibliography of natural history travel narratives / A.S. Troelstra ; editor and bibliographical assistance Cis van Heertumschema:ProductModel
Comparing the theory of representations and constructive mathematics / A.S. Troelstraschema:ProductModel
Concepts and axioms / A.S. Troelstraschema:ProductModel
Constructivism in mathematics : an introduction / A.S. Troelstraschema:ProductModel
Constructivism in mathematics : an introduction / A.S. Troelstraschema:ProductModel
Constructivism in mathematics : an introduction / A.S. Troelstra, D. van Dalenschema:ProductModel
From constructivism to computer science / A.S. Troelstraschema:ProductModel
History of constructivism in the twentieth century / A.S. Troelstraschema:ProductModel
Intuitionistic general topology / Anne Sjerp Troelstraschema:ProductModel
Kolibries in de oren : natuurhistorische reisverhalen 1700-1950 / Anne S. Troelstraschema:ProductModel
Logic in the writings of Brouwer and Heyting / by A.S. Troelstraschema:ProductModel
Marginalia on sequent calculi / A.S. Troelstraschema:ProductModel
Natural deduction for intuitionistic linear logic / A.S. Troelstraschema:ProductModel
Non-linear systems analysis in electro-retinography / Anne Troelstraschema:ProductModel
On intermediate propositional logics / A.S. Troelstraschema:ProductModel
On the early history of intuitionistic logic / A.S. Troelstraschema:ProductModel
On the syntax of Martin-Löf's theories / by A.S. Troelstraschema:ProductModel
Realizability / A.S. Troelstraschema:ProductModel
Remarks on intuitionism and the philosophy of mathematics / A.S. Troelstraschema:ProductModel
... show all 22
[ .. ] → schema:contributor → Troelstra, Anne Sjerp (1939-2019)
Formal systems for some branches of intuitionistic analysis / G. Kreisel and A.S. Troelstraschema:ProductModel
Metamathematical investigation of intuitionistic arithmetic and analysis / A.S. Troelstra (ed.)schema:ProductModel
The L. E. J. Brouwer centenary symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June, 1981 / ed. by A.S. Troelstra and D. van Dalenschema:ProductModel
Van Spitsbergen naar Suriname : Nederlandse natuurhistorische reisverhalen / Anne S. Troelstra, keuze en samenstellingschema:ProductModel
Zwarte mensen, witte bergen : verhaal van een tocht naar het Sneeuwgebergte van Nieuw-Guinea / H.A. Lorentz ; met een voorw. van Tijs Goldschmidt en een inl. van A.S. Troelstraschema:ProductModel