Book News 555号
2.  数 学 基 礎 



／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 016  Araujo,J./Dourado,M./Protti,F./Sampaio,R.:詳報掲載
       Introduction to Graph Convexity: An Algorithmic Approach.
           (Latin American Mathematics Series)
             Apr. 2025	150 pp.
             (Springer)     9783031841279   14,400.
 017  Blanchette,J./Mahboubi,A.(eds.):
       Proof Assistants and Their Applications in 
        Mathematics and Computer Science. 
           (Computer Science Foundations and Applied Logic)
             July 2025	390 pp.
             (Springer)     9783031851896   18,000.
 018  Bona,M.:詳報掲載
       Introduction to 
        Enumerative and Analytic Combinatorics, 3rd ed. 
           (Discrete Mathematics and Its Applications)
             Mar. 2025	566 pp.
             (Chapman & Hall) 9781032302706   26,840.
 019  Farmer,W.:詳報掲載
       Simple Type Theory, 2nd ed.
           (Computer Science Foundations and Applied Logic)
             Apr. 2025	338 pp.
             (Birkhauser)   9783031853517   18,000.
 020  Halbeisen,L./Krapf,R.:詳報掲載
       Godel's Theorems and Zermelo's Axioms, 2nd ed.
             Mar. 2025	342 pp.
             (Birkhauser)   9783031851056   15,600.
 021  Heuss,S./Heuss,S./Low,R./Wierman,J.(eds.):詳報掲載
       Combinatorics, Graph Theory and Computing: 
        SEICCGTC 2023, Boca Raton. 
           (Springer Proceedings in Mathematics and Statistics, Vol. 489)
             May 2025	275 pp.
             (Springer)     9783031838637   52,800.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 022  Meer,K./Rabinovich,A./Ravve,E./Villaveces,A.(eds.):詳報掲載
       Model Theory, Computer Science, and Graph Polynomials.
           (Trends in Mathematics)
             May 2025	530 pp.
             (Birkhauser)   9783031863189   43,200.
*023  Niu,N./Spivak,D.:詳報掲載
       Polynomial Functors: A Mathematical Theory of Interaction.
           (London Mathematical Society Lecture Note Series, Vol. 498)
             Aug. 2025	483 pp.
             (Cambridge)    9781009576710   22,110.
*024  Rijke,E.:
       Introduction to Homotopy Type Theory.
           (Cambridge Studies in Advanced Mathematics, Vol. ***)
             Aug. 2025	383 pp.
             (Cambridge)    9781108844161   14,740.
 025  Shi,M./Sole,P.(eds.):詳報掲載
       Completely Regular Codes in Distance Regular Graphs.
           (Monographs and Research Notes in Mathematics)
             Mar. 2025	524 pp.
             (Chapman & Hall) 9781032494449   48,140.
*026  Xu,J.:
       Maximal Planar Graph Theory and the Four-Color Conjecture.
             June 2025	240 pp.
             (Springer)     9789819647446   12,200.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ