New Books in Oct. 2015 
2.数理論理学・数学基礎論



*024  Draheim,D.:
       Semantics of Probabilistic Computation and Logics.
             May 2016	211 pp.
             (Springer)     9783642551970   16,640.
*025  Nievergelt,Y.:
       Logic, Mathematics, and Computer Science: 
        Modern Foundations with Practical Applications, 2nd ed. 
             Oct. 2015	376 pp.
             (Springer)     9781493932221    9,360.
*026  Sommaruga,G./Strahm,T.(eds.):
       Turing's Revolution: 
        The Impact of His Ideas About Computability. 
             Nov. 2015	375 pp.
             (Springer)     9783319221557   19,760.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ