Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Dick_de_Jongh> ?p ?o. }
Showing items 1 to 64 of
64
with 100 items per page.
- Dick_de_Jongh abstract "Dick Herman Jacobus de Jongh (born 19 October 1939, Enschede) is a Dutch logician and mathematician and a retired professor at the University of Amsterdam.He received his PhD degree in 1968 from the University of Wisconsin–Madison under supervision of Stephen Kleene with a dissertation entitled Investigations on the Intuitionistic Propositional Calculus. De Jongh is mostly known for his work on proof theory, provability logic and intuitionistic logic. De Jongh is a member of the group collectively publishing under the pseudonym L. T. F. Gamut. In 2004, on the occasion of his retirement, the Institute for Logic, Language and Computation at the University of Amsterdam published a festschrift in his honor.".
- Dick_de_Jongh birthDate "1939-10-19".
- Dick_de_Jongh birthYear "1939".
- Dick_de_Jongh viafId "12329961".
- Dick_de_Jongh wikiPageExternalLink vitae05.pdf.
- Dick_de_Jongh wikiPageExternalLink show_person.php?Person_id=Jongh+D.H.J.+de.
- Dick_de_Jongh wikiPageID "3888928".
- Dick_de_Jongh wikiPageRevisionID "589573303".
- Dick_de_Jongh dateOfBirth "1939-10-19".
- Dick_de_Jongh hasPhotoCollection Dick_de_Jongh.
- Dick_de_Jongh name "Jongh, Dick de".
- Dick_de_Jongh shortDescription "Dutch mathematician".
- Dick_de_Jongh description "Dutch mathematician".
- Dick_de_Jongh description "Dutch mathematician".
- Dick_de_Jongh subject Category:1939_births.
- Dick_de_Jongh subject Category:20th-century_mathematicians.
- Dick_de_Jongh subject Category:Dutch_logicians.
- Dick_de_Jongh subject Category:Dutch_mathematicians.
- Dick_de_Jongh subject Category:Dutch_philosophers.
- Dick_de_Jongh subject Category:Leiden_University_alumni.
- Dick_de_Jongh subject Category:Living_people.
- Dick_de_Jongh subject Category:People_from_Enschede.
- Dick_de_Jongh subject Category:Proof_theorists.
- Dick_de_Jongh subject Category:University_of_Amsterdam_alumni.
- Dick_de_Jongh subject Category:University_of_Amsterdam_faculty.
- Dick_de_Jongh subject Category:University_of_Wisconsin–Madison_alumni.
- Dick_de_Jongh type 20th-centuryMathematicians.
- Dick_de_Jongh type CausalAgent100007347.
- Dick_de_Jongh type DutchLogicians.
- Dick_de_Jongh type DutchMathematicians.
- Dick_de_Jongh type Expert109617867.
- Dick_de_Jongh type LivingPeople.
- Dick_de_Jongh type LivingThing100004258.
- Dick_de_Jongh type Logician110269785.
- Dick_de_Jongh type Mathematician110301261.
- Dick_de_Jongh type Object100002684.
- Dick_de_Jongh type Organism100004475.
- Dick_de_Jongh type Person100007846.
- Dick_de_Jongh type PhysicalEntity100001930.
- Dick_de_Jongh type Scientist110560637.
- Dick_de_Jongh type Whole100003553.
- Dick_de_Jongh type YagoLegalActor.
- Dick_de_Jongh type YagoLegalActorGeo.
- Dick_de_Jongh type Agent.
- Dick_de_Jongh type Person.
- Dick_de_Jongh type Person.
- Dick_de_Jongh type Q215627.
- Dick_de_Jongh type Q5.
- Dick_de_Jongh type Agent.
- Dick_de_Jongh type NaturalPerson.
- Dick_de_Jongh type Thing.
- Dick_de_Jongh type Person.
- Dick_de_Jongh comment "Dick Herman Jacobus de Jongh (born 19 October 1939, Enschede) is a Dutch logician and mathematician and a retired professor at the University of Amsterdam.He received his PhD degree in 1968 from the University of Wisconsin–Madison under supervision of Stephen Kleene with a dissertation entitled Investigations on the Intuitionistic Propositional Calculus. De Jongh is mostly known for his work on proof theory, provability logic and intuitionistic logic.".
- Dick_de_Jongh label "Dick de Jongh".
- Dick_de_Jongh sameAs m.0b58g_.
- Dick_de_Jongh sameAs Q5273594.
- Dick_de_Jongh sameAs Q5273594.
- Dick_de_Jongh sameAs Dick_de_Jongh.
- Dick_de_Jongh wasDerivedFrom Dick_de_Jongh?oldid=589573303.
- Dick_de_Jongh givenName "Dick de".
- Dick_de_Jongh isPrimaryTopicOf Dick_de_Jongh.
- Dick_de_Jongh name "Dick de Jongh".
- Dick_de_Jongh name "Jongh, Dick de".
- Dick_de_Jongh surname "Jongh".