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



*038  Adamek,J./Rosick,J./Vitale,E.:
       Algebraic Theories.
           (Cambridge Tracts in Mathematics, Vol. ***)
             Jan. 2010	200 pp.
             (Cambridge)    9780521119221   10,800.
*039  Bosch,P./Gabelaia,D./Lang,J.(eds.):
       Logic, Language, and Computation: 
        7th Int'l Tbilisi Symposium on Logic, 
         Language, and Computation, TbiLLC 2007, Tbilisi. 
           (Lecture Notes in Artificial Intelligence, Vol. 5422
             May 2009	300 pp.
             (Springer)     9783642006647    9,100.
 040  Denecke,K./Wismath,S.:
       Universal Algebra and Coalgebra.
             Apr. 2009	280 pp.
             (World Sci.)   9789812837455    8,250.
*041  Franks,C.:
       The Autonomy of Mathematical Knowledge: 
        Hilbert's Program Revisited. 
             Nov. 2009	176 pp.
             (Cambridge)    9780521514378   10,120.
*042  Hanus,M.(ed.):
       Logic-Based Program Synthesis and Transformation: 
        18th Int'l Symposium, LOPSTR 2008, Valencia, '08.
           (Lecture Notes in Computer Science, Vol. 5438)
             Mar. 2009	185 pp.
             (Springer)     9783642005145    8,500.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 043  Marquis,J.-P.:
       From A Geometrical Point of View: 
        A Study of the History and Philosophy of Category Theory. 
           (Logic, Epistemology, and the Unity of Science, Vol. 14)
             Jan. 2009	310 pp.
             (Springer)     9781402093838   26,720.
*044  Moschovakis,Y.:
       Descriptive Set Theory, 2nd ed.
           (Mathematical Surveys and Monographs, Vol. 155)
             July 2009	502 pp.
             (A.M.S.)       9780821848135   17,250.