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



*041  Bullett,S./Fearn,T./Smith,F.(eds.):
       Algebra, Logic and Combinatorics.
           (LTCC Advanced Mathematics Series, Vol. 3)
             Aug. 2016	180 pp.
             (World  Sci.)  9781783268191   13,650.
*042  Bullett,S./Fearn,T./Smith,F.(eds.):
       Algebra, Logic and Combinatorics.  (Papered.)
           (LTCC Advanced Mathematics Series, Vol. 3)
             Aug. 2016	180 pp.
             (World  Sci.)  9781783268207    6,920.
*043  Doberkat,E.-E.:
       Special Topics in 
        Mathematics for Computer Scientists: 
         Sets, Categories, Topologies and Measures. 
             Oct. 2015	526 pp.
             (Springer)     9783319227498   10,250.
*044  Draheim,D.:
       Semantics of 
        Probabilistic Computation and Logics: 
         Probabilistic Lambda Calculi, Markov Chains,  
          Domain Theory and Probabilistic Reasoning Systems. 
             May 2016	211 pp.
             (Springer)     9783642551970   16,400.
*045  Halmos,P.:
       Algebraic Logic.	1954-1959 Printing
           (Dover Books on Mathematics)
             Jan. 2016	272 pp.
             (Dover)        9780486801452    2,780.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*046  Nievergelt,Y.:
       Logic, Mathematics, and Computer Science: 
        Modern Foundations with Practical Applications, 2nd ed. 
             Oct. 2015	391 pp.
             (Springer)     9781493932221    9,220.
*047  Sommaruga,G./Strahm,T.(eds.):
       Turing's Revolution: 
        The Impact of His Ideas About Computability. 
             Nov. 2015	375 pp.
             (Springer)     9783319221557   19,470.