Dick de Jongh
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.
doctoral student
Wikipage redirect
doctoral students
primaryTopic
Dick de Jongh
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.
has abstract
Dick Herman Jacobus de Jongh ( ...... ed a festschrift in his honor.
@en
Henk J. Verkuyl (4 juni 1938) ...... veld van semantisch onderzoek.
@nl
Johan van Benthem, eigentlich ...... r und philosophischer Logiker.
@de
Johannes Franciscus Abraham Ka ...... letivamente com o pseudônimo .
@pt
Johannes Franciscus Abraham Ka ...... tartikelen op zijn naam staan.
@nl
L. T. F. Gamut is een collecti ...... it handboek aan de orde komen.
@nl
Martin Johan Bastiaan Stokhof ...... de Universiteit van Amsterdam.
@nl
ヨハネス・フランシスカス・アブラハム・カレル・ファン・ベンタ ...... ド大学言語情報研究センター教授。1996年、スピノザ賞受賞。
@ja
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
995,144,898
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
hypernym
sameAs
comment
Dick Herman Jacobus de Jongh ( ...... ed a festschrift in his honor.
@en
Henk J. Verkuyl (4 juni 1938) ...... veld van semantisch onderzoek.
@nl
Johan van Benthem, eigentlich ...... r und philosophischer Logiker.
@de
Johannes Franciscus Abraham Ka ...... letivamente com o pseudônimo .
@pt
Johannes Franciscus Abraham Ka ...... (ILLC), eveneens in Amsterdam.
@nl
L. T. F. Gamut is een collecti ...... it handboek aan de orde komen.
@nl
Martin Johan Bastiaan Stokhof ...... de Universiteit van Amsterdam.
@nl
ヨハネス・フランシスカス・アブラハム・カレル・ファン・ベンタ ...... ド大学言語情報研究センター教授。1996年、スピノザ賞受賞。
@ja
label
Dick de Jongh
@en
Henk Verkuyl
@nl
Johan van Benthem
@de
Johan van Benthem
@nl
Johan van Benthem
@pt
L. T. F. Gamut
@de
L.T.F. Gamut
@nl
Martin Stokhof
@nl
ヨハン・ファン・ベンタム
@ja