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



*047  Awodey,S.:詳報掲載
       Category Theory, 2nd ed.
           (Oxford Logic Guides, Vol. 52)
             May 2010	320 pp.
             (Oxford)       9780199587360   14,170.
 048  Awodey,S.:
       Category Theory, 2nd ed.  (Paper ed.)
             May 2010	320 pp.
             (Oxford)       9780199237180    6,530.
*049  Baffioni,C.(ed.) :
       On Logic: 
        On Arabic critical edition and English translation of Epistles 10-14. 
             Apr. 2010	216 pp.
             (Oxford)       9780199586523    6,540.
*050  Cooper,B.:
       Computability Theory, 2nd ed.
           (Chapman Hall /CRC Mathematics Series)
             Nov. 2010	506 pp.
             (Chapman & Hall) 9781439838433    7,630.
 051  Dodos,P.:詳報掲載
       Banach Spaces and Descriptive Set Theory: Selected Topics.
           (Lecture Notes in Mathematics, Vol. 1993)
             May 2010	160 pp.
             (Springer)     9783642121524    6,570.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*052  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,950.
*053  Indrzejczak,A.:詳報掲載
       Natural Deduction, Hybrid Systems and Modal Logics.
           (Trends in Logic, Vol. 30)
             Mar. 2010	515 pp.
             (Springer)     9789048187843   31,950.
 054  Schmidt,G.:詳報掲載
       Relational Mathematics.
           (Encyclopedia of Mathematics and its Applications, Vol. 132)
             June 2011	600 pp.
             (Cambridge)    9780521762687   13,460.