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



 028  Aiello,M./Pratt-Hartmann,I./van Benthem,J.(eds.):
       Handbook of Spatial Logics.
             July 2007	1080 pp.
             (Springer)     9781402055867   75,350.
 029  Andreka,H./Nemeti,I./Sain,I.:詳報掲載
       Universal Algebraic Logic: 
         Dedicated to the Unity of Science. 
           (Studies in Universal Logic)
             Jan. 2008	260 pp.
             (Birkhauser)   9783764385057   15,100.
 030  Dimitracopoulos,C./Newelski,L./Normann,D.:
       Logic Colloquium 2005.
           (New Series: Lecture Notes in Logic, Vol. 28)
             Sep. 2007	288 pp.
             (Cambridge)    9780521884259   13,800.
*031  Engesser,K./Gabbay,D./Lehmann,D.(eds.):
       Handbook of Quantum Logic and Structures: Quantum Logic.
             July 2009	....
             (North Holland) 9780444528698     .....
 032  Friend,M./Goethe,N./Harizanov,V.(eds.):
       Induction, Algorithmic Learning Theory, and Philosophy.
           (Logic, Epistemology, and the Unity of Science, Vol. 9 Series)
             Aug. 2007	302 pp.
             (Springer)     9781402061264   32,750.
／注文方法／ボタンの

 033  Menzler-Trott,E. :詳報掲載
       Logic's Lost Genius: The Life of Gerhard Gentzen.
           (History of Mathematics, Vol. 33)
             Nov. 2007	438 pp.
             (A.M.S.)       9780821835500   16,380.
 034  Pogorzelski,W./Wojtylak,P.:詳報掲載
       Completeness Theory for Propositional Logics.
           (Studies in Universal Logic)
             Dec. 2007	180 pp.
             (Birkhauser)   9783764385170   12,570.
*035  Schneider,K./Brandt,J.(eds.):
       Theorem Proving in Higher Order Logics
        20th Int'l Conference, 2007, Kaiserslautern.
           (Lecture Notes in Computer Science, Vol. 4732)
             Sep. 2007	401 pp.
             (Springer)     9783540745907   14,110.