ジャン＝イヴ・ジラール(Jean-Yves Girard、1947年 - )は証明論の研究を行なっているフランスの論理学者。System Fの強正規化性の証明や、線形論理、相互作用の幾何、ludicsの発見などの功績がある。

ゲオルク・クライゼル(Georg Kreisel, 1923年9月15日 - 2015年3月1日)はオーストリア出身で主にイギリスとアメリカで活躍した論理学者、数学者。第二次世界大戦後の証明論および構成的数学の研究をリードした一人に数えられる。

パウル・ローレンツェン(ドイツ語:Paul Lorenzen、1915年3月24日 - 1994年10月1日)は、ドイツ帝国(現:ドイツ)キール出身の哲学者、数学者、論理学者。

ジャック・エルブラン (Jacques Herbrand、1908年2月12日 - 1931年7月27日)はパリ生まれのフランスの数学者。数理論理学と類体論に業績がある。再帰関数を導入した。エルブランの定理と呼ばれるまったく別の2つの定理がある。

竹内 外史(たけうち がいし、1926年1月25日 - 2017年5月10日)は、日本の数学者、論理学者。専門は数学基礎論(数理論理学・公理的集合論、証明論など)。イリノイ大学名誉教授。解析学の基礎付けなど、数学基礎論の研究で世界的に知られる。

ダグ・プラウィッツ(Dag Prawitz、1936年5月16日 - )は、スウェーデンの哲学者、論理学者。証明論に関する研究と自然演繹の基礎の分野で最もよく知られている。ストックホルム生まれ。

トマス・マイケル・"ティム"・スキャンロン(Thomas Michael "Tim" Scanlon、1940年6月28日 - )は、アメリカの哲学者、倫理学者である。契約主義の主張で知られる。通常、T. M. スキャンロンと表記される。