Book News 532号
2.  数 学 基 礎 



*020  Balchin,S.:詳報掲載
       A Handbook of Model Categories.
           (Algebra and Applications, Vol. 27)
             July 2021	330 pp.
             (Springer)     9783030750343   30,150.
 021  Brattka,V./Hertling,P.(eds.):
       Handbook of Computability and Omplexity in Analysis.
           (Theory and Applications of Computability)
             June 2021	426 pp.
             (Springer)     9783030592332   20,100.
 022  Chan,Y.-C.:詳報掲載
       Foundations of Constructive Probability Theory.
           (Encyclopedia of Mathematics and its Applications, )
             May 2021	....
             (Cambridge)    9781108835435   28,440.
 023  Ebbinghaus,H.-D./Flum,J./Thomas,W.:詳報掲載
       Mathematical Logic, 3rd ed.
           (Graduate Texts in Mathematics, Vol. 291)
             July 2021	304 pp.
             (Springer)     9783030738389   13,060.
*024  Jebril,I./Dutta,H./Cho,I.:詳報掲載
       Concise Introduction to Logic and Set Theory.
             Oct. 2021	88 pp.
             (C R C Press)  9780367077952   30,810.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*025  Mainzer,K./Schuster,P./Schwichtenberg,H.(eds.):
       Proof and Computation II: 
        From Proof Theory and 
         Univalent Mathematics to Program Extraction and Verification. 
             Sep. 2021	380 pp.
             (World Sci.)   9789811236471   19,470.
*026  Rains,E./Warnaar,O.:
       Bounded Littlewood Identities.
           (Memoirs of the American Mathematical Society, No. 1317)
             July 2021	115 pp.
             (A.M.S.)       9781470446901   14,050.
 027  Riehl,E./Verity,D.:詳報掲載
       Elements of [infinity]-Category Theory.
           (Cambridge Studies in Advanced Mathematics, )
             Dec. 2021	....
             (Cambridge)    9781108837989   14,690.