Verbrugge, Albert Visser および Domenico Zambellaらである。 Giorgi Japaridze and Dick de Jongh, The Logic of Provability. In Handbook of Proof Theory, S.Buss, ed.

直観主義論理

Logic"—by Joan Moschovakis. Intuitionistic Logic by Nick Bezhanishvili and Dick de Jongh (from the Institute for Logic, Language and Computation at the University

スティーヴン・コール・クリーネ

Yiannis Moschovakis Nels David Nelson Gene Rose Clifford Spector Richard Vesley Dick de Jongh 主な受賞歴スティール賞（1983年）アメリカ国家科学賞（1990年）プロジェクト:人物伝テンプレートを表示

リンジー・ダンカン

y-duncan-the-thinking-mans-femme-fatale-685762.html 25 June 2010閲覧。 ^ de Jongh, Nicholas (2015年11月11日). “Les Liaisons Dangereuses review – Alan Rickman

Found in articles

証明可能性論理

Boolosであった。この分野への主要な貢献者は、Sergei Artemov、Lev Beklemishev、Giorgi Japaridze、Dick de Jongh、Franco Montagna、Giovanni Sambin、Vladimir Shavrukov、Albert

解釈可能性論理

Verbrugge, Albert Visser および Domenico Zambellaらである。 Giorgi Japaridze and Dick de Jongh, The Logic of Provability. In Handbook of Proof Theory, S.Buss, ed.

直観主義論理

Logic"—by Joan Moschovakis. Intuitionistic Logic by Nick Bezhanishvili and Dick de Jongh (from the Institute for Logic, Language and Computation at the University

スティーヴン・コール・クリーネ

リンジー・ダンカン

y-duncan-the-thinking-mans-femme-fatale-685762.html 25 June 2010閲覧。 ^ de Jongh, Nicholas (2015年11月11日). “Les Liaisons Dangereuses review – Alan Rickman