New Books in Feb. 2023
2. 数 学 基 礎 



*016  Bridges,D./Ishihara,H./Rathjen,M./Schwichtenberg,H.(eds.):詳報掲載
       Handbook of Constructive Mathematics.
           (Encyclopedia of Mathematics and its Applications, Vol. ***)
             Feb. 2023	800 pp.
             (Cambridge)    9781316510865   30,800.
*017  Chow,B.:
       Introduction to Proof Through Number Theory.
           (Pure and Applied Undergraduate Texts, Vol. 61)
             May 2023	442 pp.
             (A.M.S.)       9781470470272   18,170.
*018  Cupillari,A.:
       The Nuts and Bolts of Proofs.
             Mar. 2023	355 pp.
             (Academic)     9780323990202   12,240.
*019  Farmer,W.:詳報掲載
       Simple Type Theory.
           (Computer Science Foundations and Applied Logic)
             Jan. 2023	295 pp.
             (Springer)     9783031211119   14,960.
*020  Frieze,A./Karonski,M.:詳報掲載
       Random Graphs and Networks: A First Course.
             Apr. 2023	232 pp.
             (Cambridge)    9781009260282     価格未定
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*021  Frieze,A./Karonski,M.:詳報掲載
       Random Graphs and Networks.  (Paper ed.)
             Apr. 2023	232 pp.
             (Cambridge)    9781009260305    8,210.
*022  Mordeson,J./Mathew,S.:
       Fuzzy Graph Theory.
           (Studies in Fuzziness and Soft Computing Vol.424)
             Mar. 2023	272 pp.
             (Springer)     9783031231070   30,380.
*023  Pratt-Hartmann,I.:詳報掲載
       Fragments of First-Order Logic.
           (Oxford Logic Guides, Series)
             Feb. 2023	528 pp.
             (Oxford)       9780192867964   24,000.
*024  Wybraniec-Skardowska,U.:詳報掲載
       Logic -Language -Ontology: Selected Works.
           (Studies in Universal Logic)
             Jan. 2023	300 pp.
             (Birkhauser)   9783031223297   28,210.