| 暂存书架(0) | 登录

检索到 20 条 丛书名=Studies in logic and the foundations of mathematics 的结果    

 


所有图书 可借图书

  1. 西文图书1.Ordinal algebras / O15/TA

    馆藏复本：1
    可借复本：1     by Alefed Tarski ; with appendices by Chen-Chung Chang and Bjarni Jónsson.
    North-Holland Pub. Co., 1956.
    (0) 馆藏

  2. 西文图书2.Computer programming and formal systems / TP312/CPF

    馆藏复本：1
    可借复本：0     edited by P. Braffort and D. Hirschberg.
    North-Holland Pub. Co., 1963.
    (0) 馆藏

  3. 中文图书3.Equivalents of the axiom of choice / 014/RH

    馆藏复本：1
    可借复本：1     [by] Herman Rubin and Jean E. Rubin.
    North-Holland Pub. Co., 1963.
    (0) 馆藏

  4. 中文图书4.Axiomatic set theory : With a historical introd / 517.1/B457

    馆藏复本：1
    可借复本：1     by Abraham A. Fraenkel.
    North-Holland Pub. Co., 1958.
    (0) 馆藏

  5. 西文图书5.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) 馆藏

  6. 西文图书6.Algebra of proofs / O141.2/SME

    馆藏复本：1
    可借复本：1     M. E. Szabo.
    North-Holland Pub. Co. : 1978.
    (0) 馆藏

  7. 西文图书7.Foundations of set theory / 2nd rev. ed. O144/FAA:2/(2)

    馆藏复本：1
    可借复本：1     Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levey.
    Noord-Holland Publishing Company, 1973.
    (0) 馆藏

  8. 中文图书8.The axiomatic method with special reference to geometry and physics : Proceedings of an internationa 513/H513

    馆藏复本：1
    可借复本：1     edited by Leon Henkin, Patrick Suppes [and] Alfred Tarski.
    North-Holland Pub. Co., 1959.
    (0) 馆藏

  9. 西文图书9.Abstract set theory / O144/FAA

    馆藏复本：1
    可借复本：1     Abraham A. Fraenkel.
    North-Holland Pub. Co. ; 1953.
    (0) 馆藏

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

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

  11. 西文图书11.Complete theories / O15/RA

    馆藏复本：1
    可借复本：1     Abraham Robinson.
    North-Holland Pub. Co., c1956.
    (0) 馆藏

  12. 西文图书12.Mathematical interpretation of formal systems / O1-0/MIF

    馆藏复本：2
    可借复本：2     [by] Th. Skolem ... [et al.]
    North-Holland Pub. Co., c1955.
    (0) 馆藏

  13. 西文图书13.Handbook of mathematical logic / O141-62/BJ

    馆藏复本：2
    可借复本：2     edited by Jon Barwise, with the cooperation of H. J. Keisler ... [et al].
    North-Holland Pub. Co., 1977.
    (0) 馆藏

  14. 中文图书14.A survey of mathematical logic = 数理逻辑概论 / QA9

    馆藏复本：3
    可借复本：3     Wang Hao.
    Science Press ; [1962]
    (0) 馆藏

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

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

  16. 中文图书16.Foundations of set theory / QA248

    馆藏复本：1
    可借复本：1     [by] Abraham A. Fraenkel and Yehoshua Bar-Hillel.
    North-Holland Pub. Co., 1958.
    (0) 馆藏

  17. 西文图书17.Intuitionism : an introduction / O143/HA

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

  18. 西文图书18.Solvable cases of the decision problem / O143/AW

    馆藏复本：1
    可借复本：1     W.Ackermann..
    North-Holland Pub. Co., 1954.
    (0) 馆藏

  19. 中文图书19.Combinatory logic. V. 1 / 612.5/C937

    馆藏复本：1
    可借复本：1     [by] Haskell B. Curry [and] Robert Feys ; with two sections by William Craig.
    North-Holland Pub. Co., 1958.
    (0) 馆藏

  20. 中文图书20.On the metamathematics of algebra / 512.81/R561

    馆藏复本：1
    可借复本：1     Abraham Robinson.
    North-Holland Pub. Co., 1951.
    (0) 馆藏

返回顶部