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



*021  Albeverio,S./Fan,R./Herzberg,F.:
       Hyperfinite Dirichlet Forms and Stochastic Processes.
           (Lecture Notes of the Unione Matematica Italiana, Vol. 10)
             May 2011	285 pp.
             (Springer)     9783642196584    7,550.
*022  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.
*023  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.
 024  Crama,Y./Hammer,P.:
       Boolean Functions, Vol. 1: 
        Theory, Algorithms, and Applications. 
           (Encyclopedia of Mathematics and its Applications, Vol. ***)
             May 2011  	700 pp.
             (Cambridge)    9780521847513   13,560.
*025  Dowek,G.:
       Proofs and Algorithms: 
        An Introduction to Logic and Computability. 
           (Undergraduate Topics in Computer Science)
             Feb. 2011	195 pp.
             (Springer)     9780857291202    5,870.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 026  Esparza,J.:
       Finite and Algorithmic Model Theory.
           (London Mathematical Society Lecture Note Series, Vol. 379)
             Apr. 2011	344 pp.
             (Cambridge)    9780521718202    7,340.
 027  Foreman,M./Kanamori Akihiro (eds.):
       Handbook Set Theory.	3 Vols. Set.
             Feb. 2011	2197 pp.
             (Springer)     9781402048432  100,630.
*028  Gabbay,M./Guenthner,F.(eds.):
       Handbook of Philosophical Logic, Vol. 15., 2nd ed.
             Jan. 2011	395 pp.
             (Springer)     9789400704848   23,510.
*029  Gabbay,M./Guenthner,F.(eds.):
       Handbook of Philosophical Logic, Vol. 16., 2nd ed.
             Jan. 2011	320 pp.
             (Springer)     9789400704787   23,510.
*030  Mundici,D.:
       Advanced Lukasiewicz Calculus and MV-Algebras.
           (Trends in Logic, Vol. 35)
             Apr. 2011	214 pp.
             (Springer)     9789400708396   16,790.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 031  Schimmerling,E.:
       A Course on Set Theory.
             June 2011	176 pp.
             (Cambridge)    9781107008175   11,190.
 032  Schimmerling,E.:
       A Course on Set Theory.  (Paper ed.)
             June 2011	176 pp.
             (Cambridge)    9781107400481    3,950.
 033  Zhang,Y.:詳報掲載
       Combinatorial Problems in Mathematical Competitions.
           (Mathematical Olympiad, Vol. 1)
             Mar. 2011 		250 pp.
             (World Sci.)   9789812839497    3,500.
*034  van Benthem,J./Gupta,A./Pacuit,E.(eds.):
       Games, Norms and Reasons: Logic at Crossroads.
           (Synthese Library, Vol. 353)
             Mar. 2011	250 pp.
             (Springer)     9789400707139   16,790.
*035  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,510.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ