Anne Sjerp Troelstra
http://dbpedia.org/resource/Anne_Sjerp_Troelstra an entity of type: Thing
Anne Sjerp Troelstra (* 10. August 1939 in bei Utrecht; † 7. März 2019 in Blaricum) war ein niederländischer mathematischer Logiker.
rdf:langString
Anne Sjerp Troelstra (Maartensdijk, 10 augustus 1939 – Blaricum, 7 maart 2019) was een Nederlands hoogleraar zuivere wiskunde en grondslagen van de wiskunde aan het Instituut voor Taal, Logica, en Informatie (ITLI) van de Universiteit van Amsterdam.
rdf:langString
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 and Computation (ILLC) of the University of Amsterdam. He was a constructivist logician, who was influential in the development of intuitionistic logic With Georg Kreisel, he was a developer of the theory of choice sequences. He wrote one of the first texts on linear logic, and, with Helmut Schwichtenberg, he co-wrote an important book on proof theory.
rdf:langString
rdf:langString
Anne Sjerp Troelstra
rdf:langString
Anne Troelstra
rdf:langString
Anne Sjerp Troelstra
rdf:langString
Anne Sjerp Troelstra
rdf:langString
Anne Sjerp Troelstra
xsd:date
1939-08-10
xsd:integer
15067195
xsd:integer
1124112698
rdf:langString
Intuitionistic General Topology
xsd:integer
1966
rdf:langString
University of Amsterdam
xsd:date
1939-08-10
rdf:langString
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 and Computation (ILLC) of the University of Amsterdam. He was a constructivist logician, who was influential in the development of intuitionistic logic With Georg Kreisel, he was a developer of the theory of choice sequences. He wrote one of the first texts on linear logic, and, with Helmut Schwichtenberg, he co-wrote an important book on proof theory. He became a member of the Royal Netherlands Academy of Arts and Sciences in 1976. Troelstra died on 7 March 2019.
rdf:langString
Anne Sjerp Troelstra (* 10. August 1939 in bei Utrecht; † 7. März 2019 in Blaricum) war ein niederländischer mathematischer Logiker.
rdf:langString
Anne Sjerp Troelstra (Maartensdijk, 10 augustus 1939 – Blaricum, 7 maart 2019) was een Nederlands hoogleraar zuivere wiskunde en grondslagen van de wiskunde aan het Instituut voor Taal, Logica, en Informatie (ITLI) van de Universiteit van Amsterdam.
xsd:nonNegativeInteger
3906
