- Anne
Sjerp Troelstra (10
August 1939 – 7
March 2019) was a
professor of pure
mathematics and
foundations of
mathematics at the
Institute for Logic, Language...
- Anne
Sjerp (1977b).
Choice Sequences : A
Chapter of
Intuitionistic Mathematics.
Oxford University Press. ISBN 0-19-853163-X. Troelstra, Anne
Sjerp; Van...
- 2022. Troelstra, Anne
Sjerp (1977).
Choice Sequences. A
Chapter of
Intuitionistic Mathematics.
Clarendon Press. Troelstra, Anne
Sjerp (1982). "On the Origin...
- include:
Pieter Jelles Troelstra (1860–1930),
Dutch socialist politician Anne
Sjerp Troelstra (1939–2019),
Dutch mathematician Jelle Troelstra (1891–1979),...
- Agency. Maas, Jolanda; Verheij,
Robert A.; Groenewegen,
Peter P.; Vries,
Sjerp de; Spreeuwenberg,
Peter (1 July 2006). "Green space, urbanity, and health:...
-
career Fields Mathematics Institutions University of
Amsterdam Doctoral advisor L. E. J.
Brouwer Doctoral students Anne
Sjerp Troelstra Dirk van Dalen...
- 2002) a
pioneering publisher of
social critical works in
South Africa Anne
Sjerp Troelstra (1939 in
Maartensdijk – 2019) a
maths professor the Institute...
- arXiv:2206.08467. Per Martin-Löf,
Intuitionistic type theory, 1980. Anne
Sjerp Troelstra,
Metamathematical investigation of
intuitionistic arithmetic and...
- Auke
Sjerp van der Goot (pronounced [ˈʌukə ˈɕɛr(ə)p vɑn dɛr ɣoːt]; born 29
January 1952) is a
Dutch retired civil servant and
politician of the Frisian...
- De
Heineken Ontvoering, by
journalist Nick
Kivits and
kidnapping expert Sjerp Jaarsma. On 27
October 2011, the film De
Heineken Ontvoering by Maarten...