Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Dick_de_Jongh> ?p ?o }
Showing triples 1 to 87 of
87
with 100 triples 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 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 wikiPageLength "2584".
- Dick_de_Jongh wikiPageOutDegree "25".
- Dick_de_Jongh wikiPageRevisionID "679599259".
- Dick_de_Jongh wikiPageWikiLink Category:1939_births.
- Dick_de_Jongh wikiPageWikiLink Category:20th-century_Dutch_mathematicians.
- Dick_de_Jongh wikiPageWikiLink Category:Dutch_logicians.
- Dick_de_Jongh wikiPageWikiLink Category:Dutch_philosophers.
- Dick_de_Jongh wikiPageWikiLink Category:Leiden_University_alumni.
- Dick_de_Jongh wikiPageWikiLink Category:Living_people.
- Dick_de_Jongh wikiPageWikiLink Category:People_from_Enschede.
- Dick_de_Jongh wikiPageWikiLink Category:Proof_theorists.
- Dick_de_Jongh wikiPageWikiLink Category:University_of_Amsterdam_alumni.
- Dick_de_Jongh wikiPageWikiLink Category:University_of_Amsterdam_faculty.
- Dick_de_Jongh wikiPageWikiLink Category:University_of_Wisconsin–Madison_alumni.
- Dick_de_Jongh wikiPageWikiLink Doctor_of_Philosophy.
- Dick_de_Jongh wikiPageWikiLink Enschede.
- Dick_de_Jongh wikiPageWikiLink Festschrift.
- Dick_de_Jongh wikiPageWikiLink Intuitionistic_logic.
- Dick_de_Jongh wikiPageWikiLink L._T._F._Gamut.
- Dick_de_Jongh wikiPageWikiLink Logic.
- Dick_de_Jongh wikiPageWikiLink Mathematics.
- Dick_de_Jongh wikiPageWikiLink Netherlands.
- Dick_de_Jongh wikiPageWikiLink Proof_theory.
- Dick_de_Jongh wikiPageWikiLink Provability_logic.
- Dick_de_Jongh wikiPageWikiLink Pseudonym.
- Dick_de_Jongh wikiPageWikiLink Stephen_Cole_Kleene.
- Dick_de_Jongh wikiPageWikiLink University_of_Amsterdam.
- Dick_de_Jongh wikiPageWikiLink University_of_Wisconsin–Madison.
- Dick_de_Jongh wikiPageWikiLinkText "Dick de Jongh".
- Dick_de_Jongh wikiPageWikiLinkText "de Jongh, Dick".
- 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 wikiPageUsesTemplate Template:Authority_control.
- Dick_de_Jongh wikiPageUsesTemplate Template:Europe-mathematician-stub.
- Dick_de_Jongh wikiPageUsesTemplate Template:Netherlands-scientist-stub.
- Dick_de_Jongh wikiPageUsesTemplate Template:Persondata.
- Dick_de_Jongh wikiPageUsesTemplate Template:Reflist.
- 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_Dutch_mathematicians.
- Dick_de_Jongh subject Category:Dutch_logicians.
- 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 hypernym Logician.
- Dick_de_Jongh type Agent.
- Dick_de_Jongh type Article.
- Dick_de_Jongh type List.
- Dick_de_Jongh type Person.
- Dick_de_Jongh type Scientist.
- Dick_de_Jongh type Article.
- Dick_de_Jongh type List.
- Dick_de_Jongh type Mathematician.
- Dick_de_Jongh type Scholar.
- Dick_de_Jongh type Scientist.
- Dick_de_Jongh type Person.
- Dick_de_Jongh type Agent.
- Dick_de_Jongh type NaturalPerson.
- Dick_de_Jongh type Thing.
- Dick_de_Jongh type Q215627.
- Dick_de_Jongh type Q5.
- 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 wasDerivedFrom Dick_de_Jongh?oldid=679599259.
- 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".