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



*050  Beziau,J.-Y./Jacquette,D.(eds.):詳報掲載
       Around and Beyond the Square of Opposition.
           (Studies in Universal Logic)
             May 2012	450 pp.
             (Birkhauser)   9783034803786    9,470.
 051  Courcelle,B./Engelfriet,J.:詳報掲載
       Graph Structure and Monadic Second-Order Logic: 
        A Language-Theoretic Approach. 
           (Encyclopedia of Mathematics and its Applications, Vol. 138)
             Apr. Feb. 2011	700 pp.
             (Cambridge)    9780521898331   17,120.
*052  Creath,R.(ed.):
       Rudolf Carnap and the Legacy of Logical Empiricism.
           (Vienna Circle Institute Yearbook, Vol. 16)
             Apr. 2012	206 pp.
             (Springer)     9789400739284   15,790.
*053  Kourie,D./Watson,B.:
       The Correctness-by-Construction Approach to Programming.
             Mar. 2012	268 pp.
             (Springer)     9783642279188   12,630.
*054  Ovchinnikova,E.:
       Integration of World Knowledge for 
        Natural Language Understanding. 
           (Atlantis Thinking Machines, Vol. 3)
             Mar. 2012	242 pp.
             (Springer)     9789491216527   13,420.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 055  Papineau,D.:
       Philosophical Devices: 
        Proofs, Probabilities, Possibilities, and Sets. 
             Oct. 2012	160 pp.
             (Oxford)       9780199651726    5,760.
 056  Papineau,D.:
       Philosophical Devices.  (Paper ed.)
             Oct. 2012	160 pp.
             (Oxford)       9780199651733    2,300.