Book News 550号
2.  数 学 基 礎 



 029  Fejer,P./Simovici,D.:詳報掲載
       Logical Foundations of Computer Science.  (In 2 Vols.)
             July 2024	1200 pp.
             (World Sci.)   9789811289361   99,120.
 030  Guirardel,V./Levitt,G./Sklinos,R.:
       Towers and the First-Order Theories of Hyperbolic Groups.
           (Memoirs of the American Mathematical Society, No. 1477)
             May 2024	111 pp.
             (A.M.S.)       9781470469108   20,050.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 031  Kossak,R.:詳報掲載
       Mathematical Logic: On Numbers, Sets, Structures, 
        and Symmetry, 2nd ed. 
           (Springer Graduate Texts in Philosophy, Vol. 4)
             May 2024	265 pp.
             (Springer)     9783031562143   23,040.