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



*023  Aczel,P./Simmons,H./Wainer,S.:
       Proof Theory
       A selection of papers from the Leeds Proof Theory 
        Programme 1990. 
         (Now in Paperback ed.)
             June 2008	316 pp.
             (Cambridge)    9780521054164    7,590.
 024  Atten,M.et al.(eds.):詳報掲載
       One Hundred Years of Intuitionism  (1907-2007).
           (Publications des Archives Henri Poincare /
             Publications of the Henri Poincare Archives)
             May 2008	300 pp.
             (Birkhauser)   9783764386528   23,760.
 025  Awodey,S.:
       Introduction to Category Theory.
             June 2008	304 pp.
             (Oxford)       9780199237180    7,890.
*026  Chong,C.et al.(eds.):詳報掲載
       Computational Prospects of Infinity, Part I: Tutorials.
           (Lecture Notes Series, Insititute for Mathematical Sciences,
             National University of Singapore, Vol. 14)
             Nov. 2008	250 pp.
             (World Sci.)   9789812796530   12,640.
*027  Chong,C.et al.(eds.):
       Computational Prospects of Infinity, Part II: 
        Presented Talks. 
           (Lecture Notes Series, Insititute for Mathematical Sciences,
             National University of Singapore, Vol. 15)
             Nov. 2008	400 pp.
             (World Sci.)   9789812796547   15,880.
／注文方法／ボタンの

 028  De Lellis,C.:詳報掲載
       Rectifiable Sets, Densities, and Tangent Measures.
           (Zurich Lectures in Advanced Mathematics)
             Feb. 2008	134 pp.
             (E. M. S.)     9783037190449    6,240.
 029  Gyori,E./Katona,O./Lovasz,L.(eds.):詳報掲載
       Horizons of Combinatorics.
           (Bolyai Society Mathematical Studies, Vol. 17)
             Feb. 2008	290 pp.
             (Springer)     9783540771999   19,190.
*030  Kanovei,V.:詳報掲載
       Borel Equivalence Relations: Structure and Classification.
           (University Lecture Series, Vol. 44)
             July 2008	236 pp.
             (A.M.S.)       9780821844533    7,290.
 031  Kohlenbach,U.:詳報掲載
       Applied Proof Theory
        Proof Interpretations and their Use in Mathematics.
           (Springer Monographs in Mathematics)
             Apr. 2008	550 pp.
             (Springer)     9783540775324   16,790.
 032  Lover,R.:
       Elementary Logic: For Software Development.
             Apr. 2008	305 pp.
             (Springer)     9781848000810    7,910.
／注文方法／ボタンの

 033  Sibley,T.:
       The Foundations of Mathematics.
             Apr. 2008	432 pp.
             (Wiley)        9780470085011   14,740.
*034  Stoltenberg-Hansen,V./Lindstrom,I./Griffor,E.:
       Mathematical Theory of Domains.
         (Now in Paperbac ed.)
             June 2008	361 pp.
             (Cambridge)    9780521064798    8,760.
*035  Verity,D.:
       Complicial Sets Characterising
         The Simplicial Nerves of Strict /omega-Categories.
           (Memoirs of the American Mathematical Society, No. 905)
             Apr. 2008	184 pp.
             (A.M.S.)       9780821841426   11,990.