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



 028  Brenner,J.:
       Logic in Reality.
             June 2008	380 pp.
             (Springer)     9781402083747   31,970.
 029  Hindley,J./Seldin,J.:詳報掲載
       Lambda-Calculus and Combinators, 2nd ed.
             July 2008	344 pp.
             (Cambridge)    9780521898850    9,940.
 030  Kim,B.:
       Simplicity Theory.
           (Oxford Logic Guides)
             Sep. 2008	304 pp.
             (Oxford)       9780198567387   17,210.
*031  Pohlers,W.:詳報掲載
       Proof Theory: 
        The First Step into Impredicativity. 1st ed. 1989  
           (Universitext)
             Sep. 2008	369 pp.
             (Springer)     9783540693185    9,830.
*032  Priest,G.:
       An Introduction to Non-Classical Logic: 
        From If to Is, 2nd ed. 
           (Cambridge Introduction to Philosophy)
             June 2008	646 pp.
             (Cambridge)    9780521854337   14,060.
／注文方法／ボタンの

*033  Priest,G.:
       An Introduction to Non-Classical Logic: 
        From If to Is, 2nd ed. (Paper ed.) 
           (Cambridge Introduction to Philosophy)
             June 2008	646 pp.
             (Cambridge)    9780521670265    4,970.
*034  Soifer,A.:
       The Mathematical Coloring Book: 
        Mathematics of Coloring and the ColorfulLife of Its Creators. 
             Nov. 2008	600 pp.
             (Springer)     9780387746401   10,560.
 035  Szabo,S./Sands,A.:詳報掲載
       Factoring Groups into Subset.
           (Lecture Notes in Pure and Applied Mathematics, Vol. ***)
             Nov. 2008	280 pp.
             (Chapman & Hall) 9781420090468   29,730.