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



*037  Andreka,H./Nemeti,I./Sain,I.:詳報掲載


       Universal Algebraic Logic:  
         Dedicated to the Unityof Science. 
           (Studies in Universal Logic)
             Jan. 2008	260 pp.
             (Birkhauser)   9783764385057   14,910.
*038  Caspard,N./Monjardet,B./Leclerc,B.:
       Ensembles ordonnes finis: concepts, resultats et usages.
           (Mathematiques et Applications, Vol. 60)
             Sep. 2007	220 pp.
             (Springer)     9783540737551   13,680.
*039  Comon-Lundh,H.et al.(eds.):
       Rewriting, Computation and Proof:
       Essays Dedicated to Jean-Pierre Jouannaud
         on the Occasion of his 60th Birthday. 
           (Lecture Notes in Computer Science, Vol. 4600)
             July 2007	273 pp.
             (Springer)     9783540731467   11,200.
*040  Cooper,S./Lowe,B./Sorbi,A.(eds.):
       Computation and Logic in The Real World:
         3rd CiE 2007, Siena. 
           (Lecture Notes in Computer Science, Vol. 4497)
             July 2007	826 pp.
             (Springer)     9783540730002   21,410.
*041  Dimitracopoulos,C.et al.:
       Logic Colloquium 2005.
             Sep. 2007	....
             (Cambridge)    9780521884259   13,870.
／注文方法／ボタンの

*042  Engesser,K./Gabbay,D./Lehmann,D.(eds.):詳報掲載
       Handbook of Quantum Logic and Quantum Structures.
             Sep. 2007	820 pp.
             (North Holland) 9780444528704   40,700.
*043  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,460.
*044  Pogorzelski,W./Wojtylak,P.:詳報掲載
       Completeness Theory for Propositional Logics.
           (Studies in Universal Logic)
             Dec. 2007	180 pp.
             (Birkhauser)   9783764385170   12,420.
*045  Ronchi Della Rocca,S.(ed.):
       Typed Lambda Calculi and Applications: 8th TLCA 2007, Paris.
           (Lecture Notes in Computer Science, Vol. 4583)
             July 2007	397 pp.
             (Springer)     9783540732273   13,940.