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



*047  Aguiar,M./Mahajan,S.:詳報掲載
       Monoidal Functors, Species and Hopf Algebras.
           (CRM Monographs Series, Vol. 29)
             Nov. 2010	784 pp.
             (A.M.S.)       9780821847763   21,630.
*048  Baaz,M./Papadimitriou,C.(eds.):
       Kurt Godel and the Foundations of Mathematics: 
        Horizons of Truth. 
             Apr. 2011	352 pp.
             (Cambridge)    9780521761444    7,360.
 049  Beziau,J.-Y.(ed.):詳報掲載
       Anthology of Universal Logic: From Paul Hertz to Dov Gabbay.
           (Studies in Universal Logic)
             Dec. 2010	500 pp.
             (Springer)     9783034601443   13,350.
 050  Brauner,T.:詳報掲載
       Hybrid Logic and Its Proof-Theory.
           (Appied Logic Series, Vol. 37)
             Nov. 2010	240 pp.
             (Springer)     9789400700017   16,690.
*051  Maddy,P.:詳報掲載
       Defending the Axioms: 
        On the Philosophical Foundations of Set Theory. 
             Mar. 2011	144 pp.
             (Oxford)       9780199596188    5,070.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*052  Skof,F.(ed.):
       Giuseppe Peano Between Mathematics and Logic: 
        Proceeding of the Int'l Congress in honour of 
         Giuseppe Peano on the 150th anniversary of 
          his birth and the centennial of 
           the Formulario Mathematico Torino, 2008. 
             Dec. 2010	190 pp.
             (Springer)     9788847018358    6,670.
*053  Wohlgemuth,A.:
       Introduction to Proof in Abstract Mathematics.
             Jan. 2011	384 pp.
             (Dover)        9780486478548    2,550.
*054  Vaananen,J.:
       Model and Games.
           (Cambridge Studies in Advanced Mathematics, Vol. 132)
             May 2011	374 pp.
             (Cambridge)    9780521518123    7,130.