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



*028  Chatzikyriakidis,S./Luo,Z.(eds.):
       Moden Perspectives in Type-Theoretical Semantics.
           (Studies in Linguistics and Philosophy, Vol. 98)
             Mar. 2017	296 pp.
             (Springer)     9783319504209   16,460.
*029  Grohe,M.:詳報掲載
       Descriptive Complexity, 
        Canoniation, and Definable Graph Structure Theory. 
           (Lecture Notes in Logic, Vol. 47)
             May 2017	530 pp.
             (Cambridge)    9781107014527   26,510.
 030  Halmos,P.:
       Naive Set Theory. 		1960 Van Nostrand Reprint
           (Dover Books on Mathematics)
             Apr. 2017	112 pp.
             (Dover)        9780486814872    2,210.
*031  Hansson,S.:
       Descriptor Revision: 
        Belief Change Through Direct Choice.
           (Trends in Logic, Vol. 46)
             Apr. 2017	225 pp.
             (Springer)     9783319530604   18,300.
*032  Tennant,N.:詳報掲載
       Core Logic.
             May 2017	....
             (Oxford)       9780198777892    8,320.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ