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



*039  Arai,T./Brendle,J./Kikyo,H./Chong,C./Downey,R./Feng,Q./Ono,H.:
       Proceedings of the 10th Asian Logic Conference: 
        Kobe, Japan, September 2008. 
             Nov. 2009	360 pp.
             (World Sci.)   9789814293013   14,800.
 040  Baez,J./May,J.(ed.) :
       Towards Higher Categories.
           (The IMA Volumes in Mathematics & its Applications, Vol. 152)
             Sep. 2009	268 pp.
             (Springer)     9781441915238   18,260.
 041  Benci,V./Nasso,M.:
       How to Measure the Infinite: 
        Numerosities and Nonstandard Analysis. 
             Dec. 2009	200 pp.
             (World Sci.)   9789812836373    7,950.
 042  Cook,S./Nguyen,P.:詳報掲載
       Logical Foundations of Proof Complexity.
             Mar. 2010	492 pp.
             (Cambridge)    9780521517294   10,560.
*043  Gabbay,D./Schlechta,K.:
       Logical Tools for Handling Change in Agent-Based Systems.
           (Cognitive Technologies)
             Nov. 2009	369 pp.
             (Springer)     9783642044069   15,210.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 044  Gabbay,D./Woods,J./Hartmann,S.:
       Inductive Logic.
           (Handbook of the History of Logic, Vol. 10)
             July 2010	....
             (Elsevier)     9780444529367   28,770.
 045  Hyder,D.:
       The Determinate World: 
        Kant and Helmholtz on the Physical Meaning of Geometry. 
             June 2010	184 pp.
             (de Gruyter)   9783110183917   13,800.
*046  Lecomte,A.:
       Meaning, Logic and Ludics.
             Apr. 2010	250 pp.
             (Imperial College) 9781848164567   11,640.
 047  Nickeerson,R.:
       Mathematical Reasoning.
             Nov. 2009	587 pp.
             (Taylor & Francis) 9781848728271    8,440.
*048  Qiu,W.:
       Difference Sets and Their Applications.
           (Peking University Series in Mathematics, Vol. 5)
             Dec. 2009	300 pp.
             (World Sci.)   9789814280761   10,690.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 049  Stillwell,J.:詳報掲載
       Roads to Infinity: The Mathematics of Truth and Proof.
             Mar. 2010	300 pp.
             (A K Peters)   9781568814667    5,340.
 050  Wan,Z.-X.:
       Design Theory.
             Dec. 2009	250 pp.
             (World Sci.)   9789814287425    6,580.