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



 046  Caspard,N./Leclerc,B./Monjardet,B.:詳報掲載
       Finite Ordered Sets: Concepts, Results and Use.
           (Encyclopedia of Mathematics and its Applications, Vol. 144)
             Mar. 2012	330 pp.
             (Cambridge)    9781107013698    9,540.
*047  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   43,510.
 048  Halbeisen,L.:詳報掲載
       Combinatorial Set Theory: 
        With a Gentle Introduction to Forcing. 
           (Springer Monographs in Mathematics)
             Nov. 2011	474 pp.
             (Springer)     9781447121725   10,070.
 049  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.
*050  Mundici,D.:
       Logic: a Brief Course.
           (UNITEXT)
             Jan. 2012	130 pp.
             (Springer)     9788847023604    6,710.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*051  Negri,S./von Plato,J.:詳報掲載
       Proof Analysis: A Contribution to Hilbert's Last Problem.
             Nov. 2011	272 pp.
             (Cambridge)    9781107008953    9,540.
 052  Wallis,W.:
       A Beginner's Guide to Discrete Mathematics, 2nd ed.
             Dec. 2011	414 pp.
             (Birkhauser)   9780817682859   10,070.