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



*031  Elkind,L./Landini,G.(eds.):
       The Philosophy of Logical Atomism: A Centenary Reappraisal.
           (History of Analytic Philosophy)
             Aug. 2018	349 pp.
             (Springer)     9783319943633   19,700.
*032  Gassiat,E.:詳報掲載
       Universal Coding and 
        Order Identification by Model Selection Methods. 
           (Springer Monographs in Mathematics)
             Sep. 2018	131 pp.
             (Springer)     9783319962610   21,670.
*033  Krajicek,J.:詳報掲載
       Proof Complexity.
           (Encyclopedia of Mathematics and its Applications, Vol. 170)
             Feb. 2019	542 pp.
             (Cambridge)    9781108416849   23,730.
*034  Marcus,R.:
       Introduction to Formal Logic.
             Apr. 2018	100 pp.
             (Oxford)       9780190861841    3,970.
*035  Park,W.:
       Philosophy's Loss of Logic to Mathematics: 
        An Inadequately Understood Take-Over. 
           (Studies in Applied Philosophy, Epistemology and Rational Ethics)
             Aug. 2018	236 pp.
             (Springer)     9783319951461   15,760.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*036  WASILEWSKA,A.:
       Logics for Computer Science: 
        Classical and Non-Classical.
             Aug. 2018	540 pp.
             (Springer)     9783319925905   19,700.