New Books in Apr. 2025
2. 数 学 基 礎 



*014  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.
*015  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.
*016  Bona,M.:
       Introduction to Enumerative and Analytic 
        Combinatorics, 3rd ed. 
           (Discrete Mathematics and Its Applications)
             Mar. 2025	566 pp.
             (Chapman & Hall) 9781032302706   26,840.
*017  Farmer,W.:
       Simple Type Theory, 2nd ed.
           (Computer Science Foundations and Applied Logic)
             Apr. 2025	338 pp.
             (Birkhauser)   9783031853517   18,000.
*018  Halbeisen,L./Krapf,R.:
       Godel's Theorems and Zermelo's Axioms, 2nd ed.
             Mar. 2025	342 pp.
             (Birkhauser)   9783031851056   15,600.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*019  Heuss,S./Heuss,S./Low,R./Wierman,J.(eds.):詳報掲載
       Combinatorics, Graph Theory Annd Computing: 
        SEICCGTC 2023, Boca Raton. 
           (Springer Proceedings in Mathematics and Statistics, Vol. 489)
             May 2025	275 pp.
             (Springer)     9783031838637   52,800.
*020  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.
*021  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.