Book News 562号
2. 数 学 基 礎 



*019  Aguade,J.:
       Mathematics Starts Here: 
        A Guided Introduction to the Fundamental Ideas. 
             June 2026	232 pp.
             (Springer)     9783032268723   15,510.
 020  Cresswell,M./Riche,J.:詳報掲載
       Modal Logic in Europe: 1930-1959.
           (Studies in Universal Logic)
             May 2026	316 pp.
             (Birkhauser)   9783032234742   33,240.
*021  Ghica,D./Zanasi,F.:詳報掲載
       String Diagrams for Lambda Calculi and 
        Functional Computation. 
             Aug. 2026	75 pp.
             (Cambridge)    9781009719971     17,950.
*022  Ghica,D./Zanasi,F.:詳報掲載
       String Diagrams for Lambda Calculi and 
        Functional Computation.        (Paper ed.) 
             Aug. 2026	75 pp.
             (Cambridge)    9781009719995   5,870.
 023  Mundici,D.:詳報掲載
       Algebraic Probabilistic Consistency: 
        Boole, Lukasiewicz, de Finetti, Kolmogorov. 
           (Trends in Logic, Vol. 69)
             Apr. 2026	153 pp.
             (Springer)     9783031983368   31,020.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 024  Positselski,L.:詳報掲載
       Contraherent Cosheaves on Schemes.
             June 2026	515 pp.
             (Birkhauser)   9783032264442   44,320.
*025  Stillwell,J.:詳報掲載
       The Story of Proof: Logic and the History of Mathematics.
             Sep. 2026	456 pp.
             (Princeton  Univ.) 9780691234380    7,200.
 026  Suryanarayan,K.:詳報掲載
       Formal Proofs in Elementary Set Theory.Vol. 0)
             May 2026	135 pp.
             (Springer)     9783032222381   13,900.
*027  Weaver,N.:
       Constructive Countablism: A Foundation for Mathematics.
             Sep. 2026	524 pp.
             (World  Sci.)  9789819828524   42,550.
 028  White,D.:
       On Mathematics, Unity, and the Good: 
        Plato, Whitehead, Aristotle. 
             May 2026	248 pp.
             (Bloomsbury)   9781666963311   27,540.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ