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



*021  Atten,M.et al.(eds.):詳報掲載
       One Hundred Years of Intuitionism  (1907-2007).
           (Publications of the Henri Poincare Archives)
             May 2008	300 pp.
             (Birkhauser)   9783764386528   24,550.
 022  Carnielli,W.et al.:詳報掲載
       Analysis and Synthesis of Logics
        How to Cut and Paste Reasoning Systems.
           (Applied Logic Series,Vol. 35)
             Jan. 2008	620 pp.
             (Springer)     9781402067815   37,190.
 023  Diaconescu,R.:詳報掲載
       Institution-Independent Model Theory.
           (Studies in Universal Logic)
             Mar. 2008	360 pp.
             (Birkhauser)   9783764387075   17,330.
 024  Drucker,T.(ed.):詳報掲載
       Perspectives on The History of Mathematical Logic.
        1991 Reprint
           (Modern Birkhauser Classics)
             Feb. 2008	220 pp.
             (Birkhauser)   9780817647681    8,650.
*025  Gyori,E./Katona,O./Lovasz,L.(eds.):
       Horizons of Combinatorics.
           (Bolyai Society Mathematical Studies, Vol. 17)
             Feb. 2008	290 pp.
             (Springer)     9783540771999   19,830.
／注文方法／ボタンの

 026  Lawvere,W./Schanuel,S.:詳報掲載
       Conceptual Mathematics: A First Introduction to 
        Categories, 2nd ed. 
             Apr. 2008	394 pp.
             (Cambridge)    9780521894852   21,420.
 027  Lawvere,W./Schanuel,S.:詳報掲載
       Conceptual Mathematics, 2nd ed.  (Paper ed.)
             Mar. 2008	394 pp.
             (Cambridge)    9780521719162    9,180.
*028  Lover,R.:
       Elementary Logic: For Software Development.
             Apr. 2008	305 pp.
             (Springer)     9781848000810    8,170.
 029  Schoning,U.:詳報掲載
       Logic for Computer Scientists. 1989 Reprint
           (Modern Birkhauser Classics)
             Feb. 2008	166 pp.
             (Birkhauser)   9780817647629    8,650.
 030  Zapletal,J.:
       Forcing Idealized.
           (Cambridge Tracts in Mathematics, Vol. 174)
             Feb. 2008	320 pp.
             (Cambridge)    9780521874267   15,050.
／注文方法／ボタンの