This HTML5 document contains 15 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
dbpedia-owlhttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dchttp://purl.org/dc/elements/1.1/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n6http://dbpedia.org/resource/Utrecht_(province)
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpediahttp://dbpedia.org/resource/
Subject Item
dbpedia:Anne_Sjerp_Troelstra
rdfs:comment
Anne Sjerp Troelstra (born 10 August 1939) is Emeritus professor of pure mathematics and foundations of mathematics at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.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.
foaf:name
Troelstra, A. S. Anne Sjerp Troelstra
dc:description
Dutch mathematician
dbpedia-owl:almaMater
dbpedia:University_of_Amsterdam
dbpedia-owl:birthDate
1939-08-10Z
dbpedia-owl:birthPlace
dbpedia:Maartensdijk n6:
dbpedia-owl:birthYear
1939-01-01Z
dbpedia-owl:doctoralAdvisor
dbpedia:Arend_Heyting
dbpedia-owl:doctoralStudent
dbpedia:Laurina_Verbrugge dbpedia:Marc_Bezem dbpedia:Ieke_Moerdijk dbpedia:Daniel_Leivant
dbpedia-owl:field
dbpedia:Mathematics