New Books in Aug. 2019
2. 数 理 論 理



*017  Centrone,S./Negri,S./Sarikaya,D./Schuster,P.(eds.):
       Mathesis Universalis, Computability and Proof. 
           (Synthese LibraryVol. 412)
             Aug. 2019	373 pp.
             (Springer)     9783030204464   18,700.
*018  Cheng,Y.:
       Incompleteness for Higher-Order Arithmetic: 
        An Example Based on Harrington's Principle. 
           (SpringerBriefs in Mathematics)
             Aug. 2019	114 pp.
             (Springer)     9789811399480    9,350.
*019  Effinger,G./Mullen,G.:詳報掲載
       An Elementary Transition to Abstract Mathematics.
           (Textbooks in Mathematics)
             Oct. 2019	280 pp.
             (C R C Press)  9780367336936   15,400.
*020  Hils,M./Loeser,F.:詳報掲載
       A First Journey Through Logic.
           (Student Mathematical Library, Vol. 89)
             Sep. 2019	195 pp.
             (A.M.S.)       9781470452728    9,000.
*021  Jongsma,C.:詳報掲載
       Introduction to Discrete Mathematics Via Logic and Proof.
           (Undergraduate Texts in Mathematics)
             Nov. 2019	482 pp.
             (Springer)     9783030253578    9,350.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*022  Loehr,N.:詳報掲載
       An Introduction to Mathematical Proofs.
           (Textbooks in Mathematics)
             Dec. 2019	416 pp.
             (Chapman & Hall) 9780367338237   16,260.
*023  Lovasz,L.:詳報掲載
       Graphs and Geometry.
           (Colloquium Publications, Vol. 65)
             Aug. 2019	444 pp.
             (A.M.S.)       9781470450878   16,460.
*024  Mcmahon,L./Gordon,G./Gordon,H./Gordon,R.:詳報掲載
       The Joy of Set: 
        The Many Mathematical Dimensions of A Simple Card Games, Reprint ed. 
             July 2019	320 pp.
             (Princeton Univ.) 9780691192321    2,690.
*025  Ono Hiroaki :詳報掲載
       Proof Theory and Algebra in Logic.
           (Short Textbooks in Logic)
             Aug. 2019	158 pp.
             (Springer)     9789811379963    6,540.