Book News 548号
2.  数 学 基 礎 



*014  Beziau,J.-P./Descles,J,-P./Moktefi,A./Christine Pascu.S.(eds.) :詳報掲載
       Logic in Question: 
        Talks From the Annual Sorbonne Logic Workworkshop (2011-2019). 
           (Studies in Universal Logic)
             Jan. 2024	750 pp.
             (Birkhauser)   9783030944544   38,080.
 015  Colbourn,C./Dinitz,J.(eds.):詳報掲載
       New Advances in Designs, Codes and Cryptography: 
        Stinson66, Toronto, Canada, 2022. 
           (Fields Institute Communications, Vol. 86)
             Mar. 2024	440 pp.
             (Springer)     9783031486784   47,600.
*016  D'Auriac,P.-E./Cholak,P./Dzhafarov,D./Monin,B./Patey,L.:
       Milliken's S Tree Theorem and Its Applications: 
        A Computability-Theoretic Perspective. 
           (Memoirs of the American Mathematical Society, No. 1457)
             Feb. 2024	118 pp.
             (A.M.S.)       9781470467319   18,820.
*017  Farmer,W.:詳報掲載
       Simple Type Theory: 
        A Practical Logic for Expressing and 
         Reasoning About Mathematical Ideas. 
           (Computer Science Foundations and Applied Logic)
             Jan. 2024	295 pp.
             (Birkhauser)   9783031211140   14,280.
 018  Khoury,J.:詳報掲載
       A Tale of Discrete Mathematics: 
        A Journey Through Logic, Reasoning, Structures and Graph Thory. 
             Mar. 2024	700 pp.
             (World Sci.)   9789811285783   27,900.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*019  Kirkwood,J./Robeva,R.(eds.) :詳報掲載
       A Bridge to Higher Mathematics.
           (Textbooks in Mathematics)
             May 2024	....
             (C R C Press)  9781032623856   26,560.
*020  Kirkwood,J./Robeva,R.(eds.) :詳報掲載
       A Bridge to Higher Mathematics.  	(Paper ed.)
             Apr. 2024	224 pp.
             (C R C Press)  9781032611846    8,900.
*021  Kjos-Hanssen,B.:詳報掲載
       Automatic Complexity: A Computable Measure of Irregularity.
           (de Gruyter Series in Logic and Its Applications, Vol. 12)
             Feb. 2024	144 pp.
             (de Gruyter)   9783110774818  価格未定
 022  Madigan,T./Beziau,J.-Y.(eds.):
       Universal Logic, Ethics, and Truth: 
        Essays in Honor of John Corcoran (1937-2021). 
           (Studies in Universal Logic)
             Feb. 2024	292 pp.
             (Birkhauser)   9783031444609   30,940.
*023  Perrone,P.:詳報掲載
       Starting Category Theory.
             May 2024	298 pp.
             (World Sci.)   9789811286001   21,660.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*024  Plotnitsky,A.:
       Logos and Alogon: 
        Thinkable and the Unthinkable in Mathematics, 
         From the Pythagoreans to the Moderns. 
             Jan. 2024	294 pp.
             (Springer)     9783031136801   23,800.
 025  Tranchini,L.:詳報掲載
       Harmony and Paradox: 
        Intensional Aspects of Proof-Theoretic Semantics. 
           (Trends in Logic, Vol. 62)
             Jan. 2024	202 pp.
             (Springer)     9783031469206   11,900.
*026  Zverovich,V./Skums,P:詳報掲載
       Methods of Graph Decompositions.
             May 2024	272 pp.
             (Oxford)       9780198882091   21,700.