New Books in Dec. 2016 
2.数理論理・数学基礎論



*018  Font,J./Jansana,R.:
       A General Algebraic Semantics for Sentential Logics, 2nd ed.  Reprint ed.
           (Lecture Notes in Logic)
             Feb. 2017	....
             (Cambridge)    9781107167971   19,650.
*019  Gabbay,D./Schlechta,K.:
       A New Perspective on Nonmonotonic Logics.
             Nov. 2016	365 pp.
             (Springer)     9783319468150   19,140.
*020  Hajek,P.:
       Godel '96: 
        Logical Foundations of Mathematics, 
         Computer Science and Physics -Kurt Godel's Legacy.  Reprint ed. 
           (Lecture Notes in Logic)
             Feb. 2017	....
             (Cambridge)    9781107168022   19,650.
*021  Larrazabal,J./LascarD./Mints,J.(eds.):
       Logic Colloquium '96.
           (Lecture Notes in Logic)
             Feb. 2017	....
             (Cambridge)    9781107166080   19,650.
*022  Lindstrom,P.:
       Aspects of Incompleteness.  Reprint ed.
           (Lecture Notes in Logic)
             Feb. 2017	....
             (Cambridge)    9781107167926   19,650.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*023  Makowsky,J./Ravve,E.(eds.):
       Logic Colloquium '95.
           (Lecture Notes in Logic)
             Feb. 2017	....
             (Cambridge)    9781107167902   22,010.
*024  Marker,D./Messmer,M./Pillay,A.:
       Model Theory of Fields.  Reprint ed.
           (Lecture Notes in Logic)
             Feb. 2017	....
             (Cambridge)    9781107168077   19,650.
*025  Miller,A.:
       Descriptive Set Theory and Forcing: 
        How to Prove Theorems About Borel Sets the Hard Way.   Reprint ed.
           (Lecture Notes in Logic)
             Feb. 2017	....
             (Cambridge)    9781107168060   19,650.
*026  Mitchell,W./Steel,J.:
       Fine Structure and Iteration Trees.  Reprint ed.
           (Lecture Notes in Logic)
             Feb. 2017	....
             (Cambridge)    9781107169098   19,650.
*027  Oikkonen,J./Vananen,J.:
       Logic Colloquium '90.  Reprint ed.
           (Lecture Notes in Logic)
             Feb. 2017	....
             (Cambridge)    9781107169029   19,650.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*028  Omodeo,E./Policriti,A.(eds.):
       Martin Davis on Computability, 
        Computational Logic, and Mathematical Foundations. 
           (Outstanding Contributions to Logic, Vol. 10)
             Dec. 2016	428 pp.
             (Springer)     9783319418414   20,010.
*029  Otto,M.:
       Bounded Variable Logics and Counting: 
        A Study in Finite Models.   Reprint ed.
           (Lecture Notes in Logic)
             Feb. 2017	....
             (Cambridge)    9781107167940   19,650.
*030  Shoenfield,J.:
       Recursion Theory.  Reprint ed.
           (Lecture Notes in Logic)
             Jan. 2017	....
             (Cambridge)    9781107168084   19,650.
*031  Steel,J.:
       The Core Model Iterability Problem.  Reprint ed.
           (Lecture Notes in Logic)
             Feb. 2017	....
             (Cambridge)    9781107167964   19,650.