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



*046  Apt,K./de Boer,F./Olderog,E.-R.:
       Verification of Sequential and Concurrent Programs, 3rd ed.
       (Originally published in the series: Graduate Texts in Computer Science) 
           (Texts in Computer Science)
             Nov. 2009	502 pp.
             (Springer)     9781848827448   14,340.
*047  Baldwin,J.:詳報掲載
       Categoricity.
           (University Lecture Series, Vol. 50)
             Aug. 2009	235 pp.
             (A.M.S.)       9780821848937    8,030.
*048  Boca,P./Bowen,J./Siddiqi,J.(eds.) :
       Formal Methods: State of the Art and New Directions.
             Sep. 2009	410 pp.
             (Springer)     9781848827356   16,390.
*049  Droste,M./Kuich,W./Vogler,H.(eds.) :詳報掲載
       Handbook of Weighted Automata.
           (Monographs in Theoretical Computer Science. An EATCS)
             July 2009	625 pp.
             (Springer)     9783642014918   24,590.
 050  Franks,C.:詳報掲載
       The Autonomy of Mathematical Knowledge: 
        Hilbert's Program Revisited. 
             Nov. 2009	176 pp.
             (Cambridge)    9780521514378   10,120.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*051  Rautenberg,W.:
       A Concise Introduction to Mathematical Logic, 3rd ed.
           (Universitext)
             Dec. 2009	340 pp.
             (Springer)     9781441912206   10,630.