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



*031  Bell,J.:詳報掲載
       Set Theory: 
        Boolean-Valued Models and Independence Proofs, 3rd ed. 
         (Now in Paperback ed.) 
             Apr. 2011	216 pp.
             (Oxford)       9780199609161    4,630.
*032  Cerro,L./Gasquet,O./Herzig,A./Sahade,M.:
       Kripke's World.
           (Studies in Universal Logic)
             Dec. 2011	....
             (Birkhauser)   9783764385033    8,540.
 033  Cluckers,R./Nicaise,J./Sebag,J.:詳報掲載
       Motivic Integration and Its Interactions with 
        Model Theory and Non-Archimedean Geometry, 1. 
           (London Mathematical Society Lecture Note Series, Vol. 383)
             Oct. 2011	350 pp.
             (Cambridge)    9780521149761    7,910.
 034  Cluckers,R./Nicaise,J./Sebag,J.:詳報掲載
       Motivic Integration and Its Interactions with 
        Model Theory and Non-Archimedean Geometry, 2. 
           (London Mathematical Society Lecture Note Series, Vol. 384)
             Oct. 2011	270 pp.
             (Cambridge)    9781107648814    7,340.
 035  Dowek,G.:
       Proofs and Algorithms: 
        An Introduction to Logic and Computability. 
           (Undergraduate Topics in Computer Science)
             Feb. 2011	195 pp.
             (Springer)     9780857291202    5,980.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*036  Gabbay,D./Schlechta,K.:
       Conditionals and Modularity in General Logics.
           (Cognitive Technologies)
             Mar. 2011	260 pp.
             (Springer)     9783642190674   13,670.
*037  Gillies,D.:
       Frege, Dedekind, and Peano on the Foundations of Arithmetic.
           (Routledge Revivals)
             Apr. 2011	118 pp.
             (Routledge)    9780415667098   12,120.
*038  Graham,R./Rothschild,B./Spencer,J./Solymosi,J.:
       Ramsey Theory, 3rd ed.
           (Wiley Series in Discrete Mathematics and Optimization)
             May 2011	288 pp.
             (Wiley)        9780470391853   11,870.
*039  Heck,R.:詳報掲載
       Frege's Theorem.
             Aug. 2011	378 pp.
             (Oxford)       9780199695645    7,210.
 040  Mundici,D.:
       Advanced Lukasiewicz Calculus and MV-Algebras.
           (Trends in Logic, Vol. 35)
             Apr. 2011	214 pp.
             (Springer)     9789400708396   17,090.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*041  Polkinghorne,J.:詳報掲載
       Meaning in Mathematics.
             May 2011	192 pp.
             (Oxford)       9780199605057    3,910.
*042  Rosen,K.:
       Discrete Mathematics and Its Applications, 7th ed.
             Jan. 2011	800 pp.
             (Mcgraw-Hill)  9780073383095   22,270.
 043  Schimmerling,E.:
       A Course on Set Theory.
             June 2011	176 pp.
             (Cambridge)    9781107008175   11,190.
 044  Schimmerling,E.:
       A Course on Set Theory.  (Paper ed.)
             June 2011	176 pp.
             (Cambridge)    9781107400481    3,950.
 045  van Benthem,J./Gupta,A./Parikh,R.(eds.):
       Proof, Computation and Agency: Logic at the Crossroads.
           (Synthese Library, Vol. 352)
             Mar. 2011	400 pp.
             (Springer)     9789400700796   23,930.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ