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



*035  Arai,T./Feng,Q./Kim,B.:
       Proceedings of the 11th Asian Logic Conference.
             Aug. 2011	192 pp.
             (World Sci.)   9789814360531   11,580.
 036  Cooper,B./van Leeuwen,J.(eds.):
       Alan Turing: His Work and Impact.
             Dec. 2011	868 pp.
             (Academic)     9780123869807    8,770.
 037  Girard,J.-Y.:
       The Blind Spot: Lectures on Logic.
             Sep. 2011	550 pp.
             (E. M. S.)     9783037190883   10,950.
*038  Grohe,M./Makowsky,J.(eds.):詳報掲載
       Model Theoretic Methods in Finite Combinatorics.
           (Contemporary Mathematics, Vol. 558)
             Dec. 2011	519 pp.
             (A.M.S.)       9780821849439   16,960.
 039  Gupta,A.et al.(eds.):詳報掲載
       Logic at the Crossroads: 
        Proof, Computation and Agency Games, Norms and Reasons.  2 Vols. Set 
             Sep. 2011	650 pp.
             (Springer)     9789400709201   41,700.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 040  Halbeisen,L.:詳報掲載
       Combinatorial Set Theory: 
        With a Gentle Introduction to Forcing. 
           (Springer Monographs in Mathematics)
             Nov. 2011	474 pp.
             (Springer)     9781447121725    9,650.
 041  Hart,B. et al.(eds.):詳報掲載
       Models, Logics, and Higher-Dimensional Categories: 
        A Tribute to the Work of Mihaly Makkai. 
           (CRM Proceedings and Lecture Notes, Vol. 53)
             Sep. 2011	426 pp.
             (A.M.S.)       9780821872819   15,210.
*042  Kaiser,L.:
       Logic and Games on Automatic Structures: 
        Playing with Quantifers and Decompositions. 
           (Lecture Notes in Computer Science, Vol. 6810)
             Aug. 2011	118 pp.
             (Springer)     9783642228063    7,410.
*043  Kechris,A./Lowe,B./Steel,J.(eds.):
       Wadge Degrees and Projective Ordinals: 
        The Cabal Seminar Volume II. 
           (Lecture Notes in Logic, Vol. 37)
             Dec. 2011	....
             (Cambridge)    9780521762038     .....
 044  Mann,A.:
       How Groups Grow.
           (London Mathematical Society Lecture Note Series, Vol. 395)
             Feb. 2012	200 pp.
             (Cambridge)    9781107657502    6,360.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 045  Negri,S./von Plato,J.:詳報掲載
       Proof Analysis: A Contribution to Hilbert's Last Problem.
             Nov. 2011	272 pp.
             (Cambridge)    9781107008953    9,540.
*046  Trobok,M./Miscevic,N./Zarnic,B.(eds.):
       Between Logic and Reality: Modeling Inference, 
        Action and Understanding. 
             Dec. 2011	300 pp.
             (Springer)     9789400723894   23,510.
*047  Weidenbach,C.:
       Automation of Logic.
           (Chapman & Hall/CRC Studies in Informatics Series)
             July 2012	400 pp.
             (C R C Press)  9781439875353   10,900.