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



*048  Dams,D./Hannemann,U./Steffen,M.(eds.):
       Concurrency, Compositionality, and Correctness: 
        Essays in Honor of Willem-Paul de Roever. 
           (Lecture Notes in Computer Science, Vol. 5930)
             Apr. 2010	377 pp.
             (Springer)     9783642115110   10,310.
*049  Gabbay,D./Woods,J.(eds.):
       Logic: A History of Its Central Concepts.
           (Handbook of the History of Logic, Vol. 11)
             Aug. 2010	350 pp.
             (North Holland) 9780444529374   29,820.
*050  Mancosu,P.:
       The Adventure of Reason: 
        Interplay Between Philosophy of Mathematics 
         and Mathematical Logic, 1900-1940. 
             Sep. 2010	496 pp.
             (Oxford)       9780199546534   13,260.
*051  Simpson,S.:
       Subsystems of Second Order Arithmetic, 2nd ed. 
        (Now in Paperback ed.) 
           (Perspectives in Logic)
             Feb. 2010	464 pp.
             (Cambridge)    9780521150149    5,940.
*052  Weir,A.:詳報掲載
       Truth Through Proof: A Formalist Foundation for Mathematics.
             Sep. 2010	272 pp.
             (Oxford)       9780199541492    7,730.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ