-
日文图书1.世界のエリートに必要な「証明力」の養い方 J/O141.2/1
馆藏复本:1
可借复本:0 芳沢光雄著
大和書房 2015.7
(0) 馆藏 -
西文图书2.Введение в метаматематику / P/O141.2/KSK
馆藏复本:1
可借复本:0 Стефен К. Клини ; пер. с англ. А. С. Есенина-вольпина ; по...
Изд-во Иностранной литературы, 1957.
(0) 馆藏 -
中文图书3.元数学导论 O141.2/2/V.2
馆藏复本:1
可借复本:0 (美)克林(S.C.Kleene)著;莫绍揆译
科学出版社 1984-1985
(0) 馆藏 -
中文图书4.基于不确定规则的模糊逻辑系统:导论与新方向:introduction and new directions O141.2/1
馆藏复本:2
可借复本:2 (美) Jerry M. Mendel著
清华大学出版社 2013
(0) 馆藏 -
西文图书5.Introduction to metamathematics / O141.2/KSC
馆藏复本:3
可借复本:3 by Stephen Cole Kleene.
D. Van Nostrand, 1952.
(0) 馆藏 -
西文图书6.Algebra of proofs / O141.2/SME
馆藏复本:1
可借复本:1 M. E. Szabo.
North-Holland Pub. Co. : 1978.
(0) 馆藏