分類:數理邏輯學家

子分類

此分類包含以下 2 個子分類，共 2 個。

模

模型论学家 (5個頁面)

證

证明论学家 (4個頁面)

「數理邏輯學家」分類中的頁面

此分類共有 10 個頁面，以下顯示其中 10 個。

B

F

所罗门·费弗曼

H

艾胡德·赫魯紹夫斯基

K

斯蒂芬·科尔·克莱尼

M

佩尔·马丁-洛夫

S

达纳·斯科特

V

摩西·瓦尔迪

Z

恩斯特·策梅洛

取自「https://zh.wikipedia.org/w/index.php?title=Category:数理逻辑学家&oldid=44583208」