浏览原著

01 Teubner-Taschenbuch der Mathematik Günter Grosche, Viktor Ziegler, Eberhard Zeidler, Dorothea Ziegler · Vieweg+Teubner Verlag 2003 第 8 版 1 译本 2003 第 8 版 1 74 代数与数论 / 几何与拓扑 / 分析与微分方程 / 组合数学与离散数学 / 集合论与数理逻辑 / 数学物理 / 应用数学 / 计算数学 02 Homotopy Type Theory: Univalent Foundations of Mathematics The {Univalent Foundations Program} · 在线发布 2013 未出版 0 译本 2013 未出版 0 0 集合论与数理逻辑 03 Introduction to Mathematical Logic, Sixth Edition Elliott Mendelson · Chapman and Hall/CRC 2015 第 1 版 0 译本 2015 第 1 版 0 0 集合论与数理逻辑 04 How To Study As A Mathematics Major Lara Alcock · Oxford University Press 2013 第 1 版 1 译本 2013 第 1 版 1 205 集合论与数理逻辑 05 A Course In Model Theory Kartin Tent, Martin Ziegler · Cambridge 2012 第 1 版 1 译本 2012 第 1 版 1 102 集合论与数理逻辑 06 Set Theory Kenneth Kunen · College Publications 2011 第 1 版 0 译本 2011 第 1 版 0 0 集合论与数理逻辑 07 Model Theory: An Introduction David Marker · Springer 2002 第 1 版 0 译本 2002 第 1 版 0 0 集合论与数理逻辑 08 Model Theory C. C. Chang, H. Jerome Keisler · Dover Publications 2012 第 3 版 0 译本 2012 第 3 版 0 0 集合论与数理逻辑 09 Mathematical Logic H.-D. Ebbinghaus, J. Flum, W. Thomas · Springer-Verlag 1994 第 2 版 0 译本 1994 第 2 版 0 0 集合论与数理逻辑 10 Set Theory Thomas Jech · Springer 2003 第 3 版 0 译本 2003 第 3 版 0 0 集合论与数理逻辑 11 A Mathematical Introduction to Logic Herbert B. Enderton · Academic Press 2001 第 2 版 0 译本 2001 第 2 版 0 0 集合论与数理逻辑