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



 051  Adamek,J./Rosick,J./Vitale,E.:
       Algebraic Theories: 
        A Categorical Introduction to General Algebra. 
           (Cambridge Tracts in Mathematics, Vol. 184)
             Dec. 2010  	265 pp.
             (Cambridge)    9780521119221    9,900.
 052  Awodey,S.:詳報掲載
       Category Theory, 2nd ed.
           (Oxford Logic Guides, Vol. 52)
             June 2010	320 pp.
             (Oxford)       9780199587360   13,450.
 053  Awodey,S.:詳報掲載
       Category Theory, 2nd ed.   (Paper ed.)
             June 2010	320 pp.
             (Oxford)       9780199237180    6,200.
*054  Beck,M./Geoghegan,R.:詳報掲載
       The Art of Proof: Basic Training for Deeper Mathematics.
           (Undergraduate Texts in Mathematics)
             Oct. 2010	182 pp.
             (Springer)     9781441970220    5,210.
*055  Curien,P.-L./Herbelin,H./Krivine,J.-L./Mellies,P.-A.:
       Interactive models of computation and program behaviour.
           (Panoramas et syntheses, Vol. 27)
             June 2010	275 pp.
             (S.M.F.)       9782856292730   10,090.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*056  Dress,A.:
       Phylogenetic Combinatorics.
             Sep. 2010	250 pp.
             (Cambridge)    9780521768320   10,960.
*057  Esparza,J.:
       Finite and Algorithmic Model Theory.
           (London Mathematical Society Lecture Note Series, Vol. 379)
             Dec. 2010	350 pp.
             (Cambridge)    9780521718202    9,450.
 058  Gabbay,D./Woods,J.(eds.):
       Logic: A History of Its Central Concepts.
           (Handbook of the History of Logic, Vol. 11)
             Aug. 2010	350 pp.
             (North Holland) 9780444529374   29,190.
*059  Ghilardi,S./Ranise,S.:
       Logica e deduzione automatica per le applicazioni.
           (UNITEXT)
             July 2010	300 pp.
             (S.N.S.)       9788847007260    5,010.
*060  Halbach,V.:詳報掲載
       The Logic Manual.
             July 2010	208 pp.
             (Oxford)       9780199587834    6,210.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*061  Halbach,V.:詳報掲載
       The Logic Manual.  (Paper ed.)
             July 2010	208 pp.
             (Oxford)       9780199587841    2,070.
*062  Hart,W.:詳報掲載
       The Evolution of Logic.
           (The Evolution of Modern Philosophy)
             Aug. 2010	306 pp.
             (Cambridge)    9780521766814   11,880.
*063  Hart,W.:詳報掲載
       The Evolution of Logic.  (Paper ed.)
             Aug. 2010	306 pp.
             (Cambridge)    9780521747721    3,690.
 064  Mancosu,P.:
       The Adventure of Reason: 
        Interplay Between Philosophy of Mathematics 
         and Mathematical Logic, 1900-1940. 
             Sep. 2010	496 pp.
             (Oxford)       9780199546534   12,420.
*065  Schroder,B.:
       Fundamentals of Mathematics: 
        An Introduction to Proofs, Logic, Sets, and Numbers. 
             Aug. 2010	352 pp.
             (Wiley)        9780470551387   11,110.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ