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



 026  Bostock,D.:詳報掲載
       Russell's Logical Atomism.
             Apr. 2012	320 pp.
             (Oxford)       9780199651443    9,500.
 027  Brunnler,K./Metcalfe,G.:
       Automated Reasoning with 
        Analytic Tableaux and Related Methods: 
         20th Int'l Conference, TABLEAUX 2011, Bern. 
           (Lecture Notes in Artificial Intelligence, Vol. 6793)
             Nov. 2011	279 pp.
             (Springer)     9783642221187    7,360.
 028  Chapman,R.(ed.) :詳報掲載
       Surveys in Combinatorics 2011.
           (London Mathematical Society Lecture Note Series, Vol. 392)
             June 2011	437 pp.
             (Cambridge)    9781107601093    8,480.
 029  Cluckers,R./Nicaise,J./Sebag,J.:詳報掲載
       Motivic Integration and Its Interactions with 
        Model Theory and Non-Archimedean Geometry, 2. 
           (London Mathematical Society Lecture Note Series, Vol. 384)
             Sep. 2011	250 pp.
             (Cambridge)    9781107648814    6,830.
 030  Esparza,J.:
       Finite and Algorithmic Model Theory.
           (London Mathematical Society Lecture Note Series, Vol. 379)
             Mar. 2011	341 pp.
             (Cambridge)    9780521718202    6,830.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 031  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    8,020.
*032  Kuich,W./Rahonis,G.(eds.):
       Algebraic Foundations in Computer Science: 
        Essays Dedicated to Symeon Bozapalidis on 
         the Occasion of His Retirement. 
           (Lecture Notes in Computer Science, Vol. 7020)
             Oct. 2011	363 pp.
             (Springer)     9783642248962    8,640.
 033  Mann,A./Sandu,G./Sevenster,M.:詳報掲載
       Independence-Friendly Logic: A Game-Theoretic Approach.
           (London Mathematical Society Lecture Note Series, Vol. 386)
             Apr. 2011	208 pp.
             (Cambridge)    9780521149341    7,250.
 034  Sangiorgi,D./Rutten,J.(eds.):
       Advanced Topics in Bisimulation and Coinduction.
           (Cambridge Tracts in Theoretical Computer Science, Vol. 52)
             Oct. 2011	326 pp.
             (Cambridge)    9781107004979   10,590.
*035  Walicki,M.:詳報掲載
       Introduction to Mathematical Logic.
             Dec. 2011	280 pp.
             (World Sci.)   9789814343862    8,500.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*036  Walicki,M.:詳報掲載
       Introduction to Mathematical Logic  (Paper ed.)
             Dec. 2011	280 pp.
             (World Sci.)   9789814343879    4,960.