Anne Sjerp Troelstra
Who is Anne Sjerp Troelstra?
He is a constructivist logician, who has been influential in the development of intuitionistic logic. With Georg Kreisel, he was a developer of the theory of choice sequences. He also wrote one of the first texts on linear logic, and with H. Schwichtenberg he co-wrote an important book on proof theory.
We need you!
Help us build the largest biographies collection on the web!
Use the citation below to add to a bibliography:
"Anne Sjerp Troelstra." Biographies.net. STANDS4 LLC, 2022. Web. 2 Oct. 2022. <https://www.biographies.net/people/en/a_s_troelstra>.