ヘレナ・ラショーヴァ(Helena Rasiowa, 1917年6月20日 - 1994年8月9日)はポーランドの数学者。専門は数理論理学、特に代数的論理学。

カジミエシュ・アイドゥキエヴィチ(Kazimierz Ajdukiewicz, 1890年12月12日 - 1963年4月12日)は、ポーランドの数学者、論理学者、哲学者。ウクライナのテルノーピリに生まれ、ワルシャワで亡くなる。数理論理学、意味論、存在論などの分野で活躍。

ヤン・ウカシェヴィチ(, 1878年12月21日 - 1956年2月13日)はポーランドの論理学者、哲学者。ルヴフ(現ウクライナのリヴィウ)に生まれ、ルヴフ大学にてカジミェシュ・トヴァルドフスキの薫陶を受ける。1911年にルヴフ大学員外教授に就任。

タデウシュ・コタルビンスキ(Tadeusz Kotarbiński, 1886年3月31日–1981年10月3日)はポーランドの哲学者、論理学者、倫理学者。

ロマン・スシュコ(Roman Suszko, 1919年11月9日 - 1979年6月3日)は、ポーランドの数学者、論理学者。ポドブジェに生まれ、ワルシャワで亡くなる。集合論、意味論、数理論理学などの分野で活躍。息子は化学者のイェジ・スシュコ。

カジミェシュ・トヴァルドフスキ

デイナ・スチュアート・スコット (英語:Dana Stewart Scott、1932年10月11日 - )はアメリカの計算機科学者、数学者、論理学者。数学的に難しい問題についての素養に基づき、非形式的だが厳格な方法で計算機科学・論理学・哲学にまたがる領域の根本的概念を明確化させてきた。

ヒュー・ウッディン、1994年(photo by George Bergman)ウィリアム・ヒュー・ウッディン(William Hugh Woodin、1955年4月23日 - )はアリゾナ州トゥーソン出身の、ハーバード大学に所属する集合論学者。

ハスケル・ブルックス・カリー(Haskell Brooks Curry、1900年9月12日 - 1982年9月1日)は、アメリカの数学者、論理学者。

ハーバート・ケネス・キューネン(Herbert Kenneth Kunen、1943年8月2日 - 2020年8月14日)は、アメリカ合衆国の数学者。キューネンはスタンフォード大学で1968年に博士号を取得している。指導教員はデイナ・スコットであった。

スティーヴン・コール・クリーネ(Stephen Cole Kleene, 1909年1月5日 - 1994年1月25日)は、アメリカの数学者。ウィスコンシン大学マディソン校に勤め、その業績は計算機科学の理論的な基礎を築くのに貢献した。

ポール・コーエン (Paul Joseph Cohen、1934年4月2日 - 2007年3月23日)は、アメリカ合衆国の数学者。スタンフォード大学数学科教授。専門は集合論、調和解析、偏微分方程式。

ウォルター・ピッツ(Walter J. Pitts, 1923年4月23日 - 1969年5月14日)は、論理学者・数学者。ミシガン州・デトロイト生まれ。シカゴ大学で論理学を学び、ジェローム・レトビンやウォーレン・マカロックに出会う。マサチューセッツ工科大学に勤務。

レオン・ヘンキン(Leon Henkin、1921年4月19日 – 2006年11月1日)はアメリカ合衆国の数学者、論理学者。カリフォルニア大学バークレー校数学科教授。「ヘンキン版一階述語論理の意味論的完全性の証明」で知られる。

アルフレッド・ホーン(Alfred Horn、1918年2月17日 - 2001年4月16日)はアメリカの数学者。束論、普遍代数学に業績がある。彼は1951年に出した論文でのちにホーン節と呼ばれるアイデアを取り上げ、論理プログラミングの基礎に重要な貢献をした。

リチャード・モンタギュー(Richard Merritt Montague、1930年9月20日 - 1971年3月7日)は、アメリカの数学者、論理学者、言語哲学者。

ジョン・バークリー・ロッサー(John Barkley Rosser, 1907年12月6日 - 1989年9月5日)はアメリカの数学者、論理学者。フロリダ州・ジャクソンビル生まれ。アロンゾ・チャーチから教わる。ラムダ計算において、チャーチ・ロッサーの定理を二人で証明した。

新井 敏康(あらい としやす、1958年 - )は、日本の数学者・論理学者。東京大学大学院数理科学研究科教授。専門は数学基礎論。国立情報学研究所教授の新井紀子は妻。東京都生まれ。東京大学教養学部基礎科学科卒。筑波大学数学系大学院博士課程修了。理学博士。

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

田中 一之(たなか かずゆき、1955年8月18日 - )は、日本の数学者、論理学者。東北大学数理科学連携研究センター教授。東北大学大学院理学研究科数学専攻名誉教授。専門は数学基礎論。とくに逆数学や不完全性定理の研究で知られる。師はパリス＝ハーリントンの定理などで有名な。