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



*037  Caicedo,A./Cummings,J./Koellner,P./Larson,P.(eds.):詳報掲載
       Foundations of Mathematics.
           (Contemporary Mathematics, Vol. 690)
             June 2017	322 pp.
             (A.M.S.)       9781470422561   18,860.
*038  Dilip,R./Friedman,S./Yang,Y.:
       Sets and Computations.
             Sep. 2017	272 pp.
             (World  Sci.)  9789813223516   19,220.
*039  Gromov,M.:
       Great Circle of Mysteries: Mathematics, the World, the Mind.
             Nov. 2017	....
             (Birkhauser)   9783319530482   14,470.
*040  Halbeisen,L.:詳報掲載
       Combinatorial Set Theory: 
        With a Gentle Introduction to Forcing, 2nd ed. 
           (Springer Monographs in Mathematics)
             Dec. 2017	609 pp.
             (Springer)     9783319602301   24,440.
*041  Hansen,H./Murray,S./Sadrzadeh,M./Zeevat,H.(eds.):
       Logic, Language, and Computation: 
        11th Int'l Tbilisi Symposium on 
         Logic, Language, and Computation, TbiLLC 2015, Tbilisi, 2015.
           (Lecture Notes in Computer Science, Vol. 10148)
             Mar. 2017	355 pp.
             (Springer)     9783662543313   10,900.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*042  Kennedy,J./de Queiroz,R.(eds.):
       Logic, Language, Information, and Computation: 
        24th Wollic 2017, London. 
           (Lecture Notes in Computer Science, Vol. 10388)
             Aug. 2017	403 pp.
             (Springer)     9783662553855   12,410.
*043  Seiffertt,J.:
       Digital Logic for Computing.
             June 2017	319 pp.
             (Springer)     9783319568379    9,960.
 044  Tennant,N.:詳報掲載
       Core Logic.
             May 2017	....
             (Oxford)       9780198777892    8,320.