Category:証明論研究者

• 

  竹内外史

  Gaisi Takeuti
  
• 

  ゲオルク・クライゼル

  Georg Kreisel
  
• 

  ダグ・プラウィッツ

  Dag Prawitz
  
• 

  ジャン＝イヴ・ジラール

  Jean-Yves Girard
  
• 

  トマス・スキャンロン

  T. M. Scanlon
  
• 

  パウル・ローレンツェン

  Paul Lorenzen
  
• 

  ジャック・エルブラン

  Jacques Herbrand