- 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...
-
aristocrat and
philanthropist Anne
Triola (1920–2012),
American actress Anne
Sjerp Troelstra (1939–2019),
Dutch mathematician Anne Tropper,
physics professor...
-
surname include:
Pieter Jelles Troelstra (1860–1930),
Dutch politician Anne
Sjerp Troelstra (1939–2019),
Dutch mathematician Jelle Troelstra (1891–1979),...
-
Research Lab,
Stanford University,
retrieved 2024-08-28 Troelstra, Anne
Sjerp (1977a). "Aspects of
Constructive Mathematics".
Handbook of Mathematical...
- Banach–Tarski paradox.. Per Martin-Löf,
Intuitionistic type theory, 1980. Anne
Sjerp Troelstra,
Metamathematical investigation of
intuitionistic arithmetic and...
- De
Heineken Ontvoering, by
journalist Nick
Kivits and
kidnapping expert Sjerp Jaarsma. On 27
October 2011, the film De
Heineken Ontvoering by Maarten...
- Agency. Maas, Jolanda; Verheij,
Robert A.; Groenewegen,
Peter P.; Vries,
Sjerp de; Spreeuwenberg,
Peter (1 July 2006). "Green space, urbanity, and health:...
-
Numbers (Fifth Edition).
Oxford University Press. ISBN 0-19-853171-0 Anne
Sjerp Troelstra and Dirk van
Dalen (1988) "Constructivism in Mathematics: Volume...
- 2002) a
pioneering publisher of
social critical works in
South Africa Anne
Sjerp Troelstra (1939 in
Maartensdijk – 2019) a
maths professor the Institute...
