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



*038  Baez,J./May,J.(ed.) :
       Towards Higher Categories.
           (The IMA Volumes in Mathematics & its Applications, Vol. 152)
             Sep. 2009	268 pp.
             (Springer)     9781441915238   18,170.
 039  Benci,V./Nasso,M.:
       How to Measure the Infinite: 
        Numerosities and Nonstandard Analysis. 
             Dec. 2009	200 pp.
             (World Sci.)   9789812836373    8,060.
*040  Cook,S./Nguyen,P.:
       Logical Foundations of Proof Complexity.
             Mar. 2010	492 pp.
             (Cambridge)    9780521517294     .....
 041  Gabbay,D./Woods,J./Hartmann,S.:
       Inductive Logic.
           (Handbook of the History of Logic, Vol. 10)
             July 2010	....
             (North Holland) 9780444529367   29,190.
*042  Monk,J.:
       Cardinal Invariants on Boolean Algebras. 1st ed. 1996
           (Modern Birkhauser Classics)
             Nov. 2009	330 pp.
             (Birkhauser)   9783034603331    6,600.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*043  Nickeerson,R.:
       Mathematical Reasoning.
             Nov. 2009	587 pp.
             (Taylor & Francis) 9781848728271    8,620.
 044  Parson,C.:
       Mathematical Thought and Its Objects. 
        (Now in Paperback ed.) 
             Nov. 2009	398 pp.
             (Cambridge)    9780521119115    5,280.
*045  Steinberg,S.:
       Lattice-ordered Rings and Modules.
             Dec. 2009	630 pp.
             (Springer)     9781441917201   13,120.
*046  Stillwell,J.:
       Roads to Infinity: The Mathematics of Truth and Proof.
             Nov. 2009	300 pp.
             (A K Peters)   9781568814667     .....
*047  Talasiewicz,M.:
       Philosophy of Syntax -Foundational Topics.
           (Trends in Logic, Vol. 29)
             Nov. 2009	180 pp.
             (Springer)     9789048132874   20,190.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 048  Tieszen,R.:
       Phenomenology, Logic, and the Philosophy of Mathematics.
             Oct. 2009	367 pp.
             (Cambridge)    9780521119986    4,880.