分类:数理逻辑学家

子分类

本分类有以下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”