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



 038  Andreka,H./Nemeti,I./Sain,I.:詳報掲載
       Universal Algebraic Logic
        Dedicated to the Unity of Science.
           (Studies in Universal Logic)
             June 2008	260 pp.
             (Birkhauser)   9783764385057   14,380.
*039  Awodey,S.:
       Introduction to Category Theory.
             June 2008	304 pp.
             (Oxford)       9780199237180    7,940.
 040  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   35,990.
*041  De Lellis,C.:詳報掲載
       Rectifiable Sets, Densities, and Tangent Measures.
           (Zurich Lectures in Advanced Mathematics)
             Feb. 2008	134 pp.
             (E. M. S.)     9783037190449    6,240.
 042  Diaconescu,R.:詳報掲載
       Institution-Independent Model Theory.
           (Studies in Universal Logic)
             Mar. 2008	360 pp.
             (Birkhauser)   9783764387075   16,780.
／注文方法／ボタンの

 043  Gao,S.:
       Invariant Descriptive Set Theory.
           (Pure and Applied Mathematics, Vol. ***)
             Aug. 2008	320 pp.
             (Chapman & Hall) 9781584887935   15,220.
 044  Gyori,E./Katona,O./Lovasz,L.(eds.):詳報掲載
       Horizons of Combinatorics.
           (Bolyai Society Mathematical Studies, Vol. 17)
             Feb. 2008	290 pp.
             (Springer)     9783540771999   19,190.
*045  Kohlenbach,U.:詳報掲載
       Applied Proof Theory
        Proof Interpretations and their Use in Mathematics.
           (Springer Monographs in Mathematics)
             Apr. 2008	550 pp.
             (Springer)     9783540775324   16,790.
*046  Odintsov,S.:詳報掲載
       Constructive Negations and Paraconsistency.
           (Trends in Logic, Vol. 26)
             Mar. 2008	248 pp.
             (Birkhauser)   9781402068669   31,190.
*047  Sibley,T.:
       The Foundations of Mathematics.
             Apr. 2008	432 pp.
             (Wiley)        9780470085011   14,830.
／注文方法／ボタンの

*048  Strumfels,B.:
       Algorithms in Invariant Theory, 2nd ed.
             Mar. 2008	200 pp.
             (Springer/Wien) 9783211774168    9,590.