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



 030  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,830.
 031  Bloch,E.:
       Proofs and Fundamentals: 
        A First Course in Abstract Mathematics, 2nd ed. 
           (Undergraduate Texts in Mathematics)
             Nov. 2010	358 pp.
             (Springer)     9781441971265    9,850.
 032  Brauner,T. :詳報掲載
       Hybrid Logic and Its Proof-Theory.
           (Appied Logic Series, Vol. 37)
             Nov. 2010	240 pp.
             (Springer)     9789400700017   17,290.
 033  Esparza,J. :
       Finite and Algorithmic Model Theory.
           (London Mathematical Society Lecture Note Series, Vol. 379)
             Dec. 2010	350 pp.
             (Cambridge)    9780521718202    7,730.
*034  Gallier,J. :
       Discrete Mathematics.
           (Universitext)
             Mar. 2011	490 pp.
             (Springer)     9781441980465   10,370.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*035  Leitsch,A./Baaz,M. :詳報掲載
       Methods of Cut-Elimination.
           (Trends in Logic, Vol. 34)
             Jan. 2011	295 pp.
             (Springer)     9789400703193   17,290.
 036  Maddy,P.:詳報掲載
       Defending the Axioms: 
        On the Philosophical Foundations of Set Theory. 
             Mar. 2011	144 pp.
             (Oxford)       9780199596188    5,020.
 037  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,910.
 038  Wohlgemuth,A.:
       Introduction to Proof in Abstract Mathematics.
             Jan. 2011	384 pp.
             (Dover)        9780486478548    2,470.