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



*036  Bakonyi,M.et al.(eds.):
       Operator Theory, Structured Matrices, and Dilations.
           (A publication of the Theta Foundation, Vol. 10)
             2007	356 pp.
             (Theta)        9789738789906    9,800.
*037  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,040.
*038  Diaconescu,R.:詳報掲載
       Institution-Independent Model Theory.
           (Studies in Universal Logic)
             Mar. 2008	360 pp.
             (Birkhauser)   9783764387075   17,260.
*039  Lawvere,W./Schanuel,S.:詳報掲載
       Conceptual Mathematics: A First Introduction to 
        Categories, 2nd ed. 
             Mar. 2008	394 pp.
             (Cambridge)    9780521894852   21,280.
*040  Lawvere,W./Schanuel,S.:詳報掲載
       Conceptual Mathematics, 2nd ed.  (Paper ed.)
             Mar. 2008	394 pp.
             (Cambridge)    9780521719162    9,120.
／注文方法／ボタンの

 041  Srivastava,S.:
       A Course on Mathematical Logic.
           (Universitext)
             Mar. 2008	160 pp.
             (Springer)     9780387762753    9,510.
 042  Woodin,W.:
       The Axiom of Determinancy, for Axioms, and 
        Nonstationary Ideal, 2nd ed. 
             May 2008	950 pp.
             (de Gruyter)   9783110197020   36,560.