Book News 516号
2. 数理論理・数学基礎



*025  Beck,M./Sanyal,R.:詳報掲載
       Combinatorial Reciprocity Theory: 
        An Invitation to Enumerative Geometric Combinatorics. 
           (Graduate Studies in Mathematics, Vol. 195)
             Dec. 2018	314 pp.
             (A.M.S.)       9781470422004   12,360.
*026  Carnielli,W./Malinowski,J.(eds.):詳報掲載
       Contradictions, From Consistency to Inconsistency.
           (Trends in Logic, Vol. 47)
             Oct. 2018	311 pp.
             (Springer)     9783319987965   21,780.
 027  Gassiat,E.:詳報掲載
       Universal Coding and Order Identification by 
        Model Selection Methods. 
           (Springer Monographs in Mathematics)
             Sep. 2018	131 pp.
             (Springer)     9783319962610   21,780.
*028  Golinska-Pilarek,J./Zawidzki,M.(eds.):
       Ewa Orlowska on Relational Methods in 
        Logic and Computer Science. 
           (Outstanding Contributions to Logic, Vol. 17)
             Nov. 2018	508 pp.
             (Springer)     9783319978789   25,740.
 029  Grigor'yan,A.:詳報掲載
       Introduction to Analysis on Graphs.
           (University Lecture Series, Vol. 71)
             Sep. 2018	168 pp.
             (A.M.S.)       9781470443979    8,300.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*030  Hellman,G./Cook,R.(eds.):
       Hilary Putnam on Logic and Mathematics.
           (Outstanding Contributions to Logic, Vol. 9)
             Nov. 2018	267 pp.
             (Springer)     9783319962733   17,820.
 031  Hibi Takayuki (ed.):
       The 50th Anniversary of Grobner Bases.
           (Advanced Studies in Pure Mathematics, Vol. 77)
             Aug. 2018	432 pp.
             (M.S.J.)       9784864970525    6,760.
*032  Katz,M./Reimann,J.:詳報掲載
       An Introduction to Ramsey Theory.
           (Student Mathematical Library, Vol. 87)
             Nov. 2018	207 pp.
             (A.M.S.)       9781470442903    8,810.
*033  Kossak,R.:
       Mathematical Logic: 
        On Numbers, Sets, Structures, and Symmetry. 
           (Springer Graduate Texts in Philosophy)
             Nov. 2018	186 pp.
             (Springer)     9783319972978   12,870.
*034  Lawson,M.:
       A First Course in Logic.
             Oct. 2018	234 pp.
             (C R C Press)  9780815386650   11,250.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*035  Mynard,F.:詳報掲載
       An Introduction to the Language of Mathematics.
             Nov. 2018	154 pp.
             (Springer)     9783030006402    8,910.
*036  Schultz,P./Spivak,D.:
       Temporal Type Theory: 
        A Topos-Theoretic Approach to Systems and Behavior. 
           (Progress in Computer Science and Applied Logic, Vol. 29)
             Nov. 2018	205 pp.
             (Birkhauser)   9783030007034   16,830.
 037  Wasilewska,A.:
       Logics for Computer Science: Classical and Non-Classical.
             Aug. 2018	540 pp.
             (Springer)     9783319925905   19,800.