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



*039  Courcelle,B.:
       Graph Structure and Monadic Second-Order Logic.
           (Encyclopedia of Mathematics and its Applications, Vol. 138)
             Feb. 2011	700 pp.
             (Cambridge)    9780521898331  21,120.
 040  Curien,P.-L./Herbelin,H./Krivine,J.-L./Mellies,P.-A.:
       Interactive models of computation and program behaviour.
           (Panoramas et syntheses, Vol. 27)
             June 2010	275 pp.
             (S.M.F.)       9782856292730    9,800.
 041  Esparza,J.:
       Finite and Algorithmic Model Theory.
           (London Mathematical Society Lecture Note Series, Vol. 379)
             Dec. 2010	350 pp.
             (Cambridge)    9780521718202    9,110.
*042  Poggiolesi,F.:
       Gentzen Calculi for Modal Propostional Logic.
           (Trends in Logic, Vol. 32)
             Sep. 2010	250 pp.
             (Springer)     9789048196692   16,890.
 043  Schroder,B.:
       Fundamentals of Mathematics: 
        An Introduction to Proofs, Logic, Sets, and Numbers. 
             Aug. 2010	352 pp.
             (Wiley)        9780470551387   11,030.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*044  Tarski,A.:
       Undecidable Theories.
             Aug. 2010	112 pp.
             (Dover)        9780486477039    1,790.
*045  Ziegler,M.:
       Mathematische Logik.
           (Mathematik Kompakt)
             May 2010	116 pp.
             (Birkhauser)   9783764399733    3,070.