アブラハム・ロビンソン(Abraham Robinson, 1918年10月6日 - 1974年4月11日)は、ドイツ出身の数学者・論理学者。専門は数理論理学、モデル理論。ドイツ帝国のヴァルデンブルク(現在のポーランド・ヴァウブジフ)でシオニストの家庭に生まれた。

ジャン＝イヴ・ベジオ(, 1965年1月15日 - )は、論理学者。フランスのオルレアン出身。Brazilian Research Council - CNPq - (Federal University of Ceara, Brazil)の教授および研究者である。

ベルナルト・プラシドゥス・ヨハン・ネポムク・ボルツァーノ(Bernard Placidus Johann Nepomuk Bolzano, 1781年10月5日 - 1848年12月18日)は、チェコの哲学者、数学者、論理学者、宗教学者。

ジョージ・ブール(George Boole, 1815年11月2日 - 1864年12月8日)は、イギリスの数学者・哲学者。多くの実績があるが、コンピュータ科学の分野の基礎的な理論のひとつであるブール代数(ブール論理)が現代では広く知られている。

ライツェン・エヒベルトゥス・ヤン・ブラウワー(Luitzen Egbertus Jan Brouwer、1881年2月27日 - 1966年12月2日)はオランダの数学者。ブラウエル、ブローウェルなどとも表記される。

ペール・エリック・ルトガー・マルティン=レーフ(Per Erik Rutger Martin-Löf(; ; ), 1942年5月8日 - )は、スウェーデンの論理学者・哲学者・数理統計学者。

パウル・ベルナイス(Paul Bernays, 1888年10月17日 - 1977年9月18日)はスイスの数学者・論理学者。ロンドンに生まれ、ベルリン大学およびゲッティンゲン大学で学ぶ。

トアルフ・スコーレム(Albert Thoralf Skolem 、1887年5月23日 - 1963年3月23日)は、ノルウェーの数学者。オスロ大学で代数学や自然数論を講義した。数理論理学、数学基礎論で重要な発見をしている。

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

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