-
西文图书1.Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Godel / O143/MA
馆藏复本:1
可借复本:1 Andrzej Mostowski.
North-Holland Pub. Co., 1952.
(0) 馆藏 -
西文图书2.Undecidable theories / O143/TA
馆藏复本:2
可借复本:2 by Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. Robinson.
[North-Holland Pub. Co.], 1953.
(0) 馆藏 -
中文图书3.数学基础研究三十年:1930至1964年数理逻辑和数学基础研究发展状况讲演录 O143/3
馆藏复本:5
可借复本:2 (波) 安德热依·莫斯托夫斯基著
华中工学院出版社 1983
(0) 馆藏