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



 047  Awodey,S.:詳報掲載
       Category Theory, 2nd ed.
           (Oxford Logic Guides, Vol. 52)
             May 2010	320 pp.
             (Oxford)       9780199587360   13,710.
 048  Cooper,B.:
       Computability Theory, 2nd ed.
           (Chapman Hall /CRC Mathematics Series)
             Nov. 2010	506 pp.
             (Chapman & Hall) 9781439838433    7,380.
 049  Duzi,A./Jespersen,B./Materna,P.:
       Procedural Semantics for Hyperintensional Logic: 
        Foundations and Applications of Transparent Intensional Logic. 
           (Logic, Epistemology, and the Unity of Science, Vol. 17)
             Mar. 2010	550 pp.
             (Springer)     9789048188116   31,780.
 050  Hartimo,M.:
       Phenomenology and Mathematics.
           (Phenomenologica, Vol. 195)
             Feb. 2010	250 pp.
             (Springer)     9789048137282   18,790.
 051  Indrzejczak,A.:詳報掲載
       Natural Deduction, Hybrid Systems and Modal Logics.
           (Trends in Logic, Vol. 30)
             Mar. 2010	515 pp.
             (Springer)     9789048187843   31,780.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*052  Roscoe,A.:
       Understanding Concurrent Systems.
           (Texts in Computer Science)
             May 2010	450 pp.
             (Springer)     9781848822573    9,340.
 053  Stankovic,R./Astola,J.:
       From Boolean Logic to Switching Circuits and Automata: 
        Towards Modern Information Technology. 
           (Studies in Computational Intelligence, Vol. 278)
             May 2010	150 pp.
             (Springer)     9783642116810   18,690.
 054  Woodin,W.:
       The Axiom of Determinacy, 
        Forcing Axioms, and the Nonstationary Ideal, 2nd ed. 
           (de Gruyter Series in Logic and Its Applications, Vol. 1)
             July 2010	950 pp.
             (de Gruyter)   9783110197020   28,040.