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



*023  Abeles,F./Fuller,M.(eds.):
       Modern Logic 1850-1950, East and West.
           (Studies in Universal Logic)
             Jan. 2016	284 pp.
             (Birkhauser)   9783319247540   10,000.
*024  Beziau,J.-Y./Chakraborty,M./Dutta,S.(eds.):
       New Directions in Paraconsistent Logic: 
        5th WCP, Kolkata, 2014. 
           (Springer Proceedings in Mathematics and Statistics, Vol. 152)
             Feb. 2016	534 pp.
             (Springer)     9788132227175   28,000.
*025  Bullett,S./Fearn,T./Smith,F.(eds.):詳報掲載
       Algebra, Logic and Combinatorics.
           (LTCC Advanced Mathematics Series, Vol. 3)
             Aug. 2016	180 pp.
             (World  Sci.)  9781786340290   13,870.
*026  Bullett,S./Fearn,T./Smith,F.(eds.):詳報掲載
       Algebra, Logic and Combinatorics.  (Paper ed.)
             Aug. 2016	180 pp.
             (World  Sci.)  9781786340306    7,030.
 027  Bullett,S./Fearn,T./Smith,F.(eds.):
       Algebra, Logic and Combinatorics.
           (LTCC Advanced Mathematics Series, Vol. 3)
             Aug. 2016	180 pp.
             (World  Sci.)  9781783268191   13,870.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 028  Bullett,S./Fearn,T./Smith,F.(eds.):
       Algebra, Logic and Combinatorics.  (Papered.)
           (LTCC Advanced Mathematics Series, Vol. 3)
             Aug. 2016	180 pp.
             (World  Sci.)  9781783268207    7,030.
*029  Kechris,A./Lowe,B./Steel,J.:
       Ordinal Definability and Recursion Theory: 
        The Cabal Seminar, Vol. III. 
           (Lecture Notes in Logic, Vol. 43)
             Dec. 2015	551 pp.
             (Cambridge)    9781107033405   32,440.
*030  Lepetic,V.:
       Principles of Mathematics: A Primer.
             Jan. 2016	832 pp.
             (Wiley)        9781119131649   24,970.
*031  Piecha,T./Schroeder-Heister,P.(eds.):詳報掲載
       Advances in Proof-Theoretic Semantics.
           (Trends in Logic, Vol. 43)
             Nov. 2015	283 pp.
             (Springer)     9783319226859   10,000.
*032  Probst,D./Schuster,P.:
       Concepts of Proof in 
        Mathematics, Philosophy, and Computer Science.   
           (Ontos Mathematical Logic, Vol. 6)
             June 2016	500 pp.
             (de  Gruyter)  9781501510809   21,990.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ