| 暂存书架(0) | 登录

检索到 4 条 主题词=Metamathematics. 的结果    

 


所有图书 可借图书

  1. 西文图书1.Metamathematische Methoden in der Geometrie / P142/SW

    馆藏复本：1
    可借复本：0     W. Schwabha?user, W. Szmielew, A. Tarski.
    Springer-Verlag, 1983.
    (0) 馆藏

  2. 中文图书2.Constructivity in mathematics / 515/H519

    馆藏复本：1
    可借复本：1     edited by A. Heyting.
    North-Holland Pub. Co., 1959.
    (0) 馆藏

  3. 西文图书3.Introduction to metamathematics / O141.2/KSC

    馆藏复本：3
    可借复本：3     by Stephen Cole Kleene.
    D. Van Nostrand, 1952.
    (0) 馆藏

  4. 西文图书4.Undecidable theories / O143/TA

    馆藏复本：2
    可借复本：2     by Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. Robinson.
    [North-Holland Pub. Co.], 1953.
    (0) 馆藏

返回顶部