Example image of eyePlorer eyePlorer map for 'Anne Sjerp Troelstra': 1939 August 10 Emeritus Foundations of mathematics Institute for Logic, Language and Computation Maartensdijk Netherlands Pure mathematics University of Amsterdam Utrecht (province) Constructivism (mathematics) Intuitionistic logic Logic Choice sequence Georg Kreisel Linear logic Proof theory Troelstra Bar induction List of mathematicians (T) Ultrafinitism Logics for computability List of logicians Brouwer–Heyting–Kolmogorov interpretation
Disclaimer