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



*037  Babinkostova,L.et al(eds.):詳報掲載
       Set Theory and Its Applications.
           (Contemporary Mathematics, Vol. 533)
             Feb. 2011	307 pp.
             (A.M.S.)       9780821848128   13,120.
 038  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,670.
 039  Bloch,E.:
       Proofs and Fundamentals: 
        A First Course in Abstract Mathematics, 2nd ed. 
           (Undergraduate Texts in Mathematics)
             Nov. 2010	358 pp.
             (Springer)     9781441971265    9,740.
 040  Esparza,J. :
       Finite and Algorithmic Model Theory.
           (London Mathematical Society Lecture Note Series, Vol. 379)
             Dec. 2010	350 pp.
             (Cambridge)    9780521718202    7,800.
 041  Gabbay,D./Woods,J./Hartmann,S.:
       Inductive Logic.
           (Handbook of the History of Logic, Vol. 10)
             June 2011	796 pp.
             (North Holland) 9780444529367   33,750.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 042  Gallier,J. :詳報掲載
       Discrete Mathematics.
           (Universitext)
             Mar. 2011	490 pp.
             (Springer)     9781441980465   10,250.
*043  Goldman,R.:
       Rethinking Quaternions: Theory and Practice.
           (Synthesis Lectures on Computer Graphics and Animation)
             Oct. 2010	100 pp.
             (Morgan & Claypool) 9781608454204    5,620.
*044  Kaci,S.:
       Working with Preferences: Less Is More.
           (Cognitive Technologies)
             Mar. 2011	190 pp.
             (Springer)     9783642172793   13,670.
 045  Leitsch,A./Baaz,M. :詳報掲載
       Methods of Cut-Elimination.
           (Trends in Logic, Vol. 34)
             Jan. 2011	295 pp.
             (Springer)     9789400703193   17,090.
 046  Maddy,P.:詳報掲載
       Defending the Axioms: 
        On the Philosophical Foundations of Set Theory. 
             Mar. 2011	144 pp.
             (Oxford)       9780199596188    5,100.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*047  Oxley,J.:詳報掲載
       Matroids Theory, 2nd ed.
           (Oxford Graduate Texts in MathematicsVol. 21)
             Feb. 2011	704 pp.
             (Oxford)       9780198566946   18,360.
*048  Oxley,J.:詳報掲載
       Matroids Theory, 2nd ed.  (Paper ed.)
             Feb. 2011	704 pp.
             (Oxford)       9780199603398    8,160.
*049  Prest,M.:
       Definable Additive Categories: Purity and Model Theory.
           (Memoirs of the American Mathematical Society, No. 988)
             Feb. 2011	109 pp.
             (A.M.S.)       9780821847671    8,750.
*050  Sannella,D./Tarlecki,A.:詳報掲載
       Foundations of Algebraic Specification 
        and Formal Software Development. 
           (Monographs in Theoretical Computer Science. An EATCS Series)
             Mar. 2011	480 pp.
             (Springer)     9783642173356   17,090.
*051  Sarbo,J./Farkas,J./van Breemen,A.:
       Knowledge in Formation: 
        A Computational Theory of Interpretation. 
           (Cognitive Technologies)
             Feb. 2011	220 pp.
             (Springer)     9783642170881   13,670.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 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  
          hisbirth and the centennial of 
           the Formulario Mathematico Torino, 2008. 
             Dec. 2010	190 pp.
             (Springer)     9788847018358    6,830.
*053  Sommaruga,G.(ed.):
       Foundational Theories of 
        Classical and Constructive Mathematics. 
           (The Western Ontario Series in Philosophy of Science, Vol. 76)
             Jan. 2011	305 pp.
             (Springer)     9789400704305   17,090.
*054  Tieszen,R.:
       After Godel: 
        Platonism and Rationalism in Mathematics and Logic. 
             Apr. 2011	272 pp.
             (Oxford)       9780199606207    8,160.
 055  Wohlgemuth,A.:
       Introduction to Proof in Abstract Mathematics.
             Jan. 2011	384 pp.
             (Dover)        9780486478548    2,490.