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



 034  Arai,T./Feng,Q./Kim,B.:
       Proceedings of the 11th Asian Logic Conference.
             Aug. 2011	192 pp.
             (World Sci.)   9789814360531   11,480.
*035  Blanchette,P.:詳報掲載
       Frege's Conception of Logic.
             Feb. 2012	256 pp.
             (Oxford/USA)   9780199891610    8,260.
*036  Bostock,D.:詳報掲載
       Russell's Logical Atomism.
             Apr. 2012	320 pp.
             (Oxford)       9780199651443    9,350.
*037  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.
 038  Cooper,B./vanLeeuwen,J.(eds.):
       Alan Turing: His Work and Impact.  
             Dec. 2011	868 pp.
             (Academic)     9780123869807    8,690.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*039  Cupillari,A.:
       The Nuts and Bolts of Proofs: 
        An Introduction to Mathematical Proofs, 4th ed. 
             Jan. 2012	296 pp.
             (Academic)     9780123822178    5,840.
 040  Halbeisen,L.:詳報掲載
       Combinatorial Set Theory: 
        With a Gentle Introduction to Forcing. 
           (Springer Monographs in Mathematics)
             Dec. 2011	453 pp.
             (Springer)     9781447121725    9,590.
 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,080.
*042  Johnson,K./Herr,T./Kysh,J.:詳報掲載
       Crossing the River with Dogs: 
        Problem Solving for College Students, 2nd ed. 
             Jan. 2012	512 pp.
             (Wiley)        9780470464731    9,820.
 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    7,870.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*044  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,390.