Book News 496号
2.数理論理学・数学基礎論



*037  Clerbout,N./Rahman,S.:
       Linking Game-Theoretical Approaches with 
        Constructive Type Theory: 
         Dialogical Strategies, CTT demonstrations and the Axiom of Choice. 
           (SpringerBriefs in Philosophy)
             June 2015	97 pp.
             (Springer)     9783319190624   10,200.
*038  Corberan,A./Laporte,G.:
       Arc Routing: Problems, Methods, and Applications.
             July 2015	392 pp.
             (S.I.A.M.)     9781611973662   18,200.
 039  Cox,D./Little,J./O'Shea,D.:詳報掲載
       Ideals, Varieties, and Algoritms: 
        An Introduction to Computational Algebraic Geometry and 
         Commutative Algebra, 4th ed. 
           (Undergraduate Texts in Mathematics)
             Apr. 2015	641 pp.
             (Springer)     9783319167206    9,180.
*040  Liu,H./Ju,S./Ono Hiroakira (eds.):
       Modality, Semantics and Interpretations: 
        The Second Asian Workshop on Philosophical Logic. 
           (Logic in Asia: Studia Logica Library)
             July 2015	188 pp.
             (Springer)     9783662471968   20,400.
*041  Pykacz,J.:
       Quantum Physics, Fuzzy Sets and Logic: 
        Steps Towards a Many-Valued Interpretation of 
         Quantum Mechanics. 
           (SpringerBriefs in Physics)
             July 2015	100 pp.
             (Springer)     9783319193830   10,200.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*042  Simon,P.:詳報掲載
       A Guide to NIP Theories.
           (Lecture Notes in Logic)
             June 2015	164 pp.
             (Cambridge)    9781107057753   20,500.
*043  Torza,A.(ed.):
       Quantifiers, Quantifiers, and Quantifiers: 
        Themes in Logic, Metaphysics, and Language. 
           (Synthese Library, Vol. 373)
             June 2015	647 pp.
             (Springer)     9783319183619   38,760.
*044  Zhao,X./Feng,Q./Kim,B.(eds.):
       Proceedings of the 13th Asian Logic Conference: 
        Guangzhou, China, 2013. 
             May 2015	252 pp.
             (World Sci.)   9789814675994   18,120.