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



*058  Arianrhod,R.:
       Seduced by Logic: 
        Emilie Du Chatelet, Mary Somerville and the Newtonian Revolution. 
             Nov. 2012	352 pp.
             (Oxford/USA)   9780199931613    3,740.
 059  Beziau,J.-Y./Jacquette,D.(eds.):詳報掲載
       Around and Beyond the Square of Opposition.
           (Studies in Universal Logic)
             May 2012	450 pp.
             (Birkhauser)   9783034803786    9,950.
*060  Chajda,I./Langer,H.:詳報掲載
       Directoids: 
        An Algebraic Approach to Ordered Sets.
           (Research and Exposition in Mathematics, Vol. 32)
             Dec. 2011	176 pp.
             (Heldermann)   9783885382324    4,650.
*061  Cunningham,D.:詳報掲載
       A Logical Introduction to Proof.
             June 2012	344 pp.
             (Springer)     9781461436300    7,460.
*062  Klement,K.:
       Frege and the Logic of Sense and Reference.
           (Studies in Philosophy: Outstanding Dissertations)
             Dec. 2011	272 pp.
             (Routledge)    9780415514668    5,040.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*063  Rademaker,A.:
       A Proof Theory for Description Logics.
           (SpringerBriefs in Computer Science)
             May 2012	113 pp.
             (Springer)     9781447140016    6,630.