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



*040  Abraham,E./Bonsangue,M./Johnsen,E.(eds.):
       Theory and Practice of Formal Methods: 
        Essays Dedicated to 
         Frank de Boer on the Occasion of His 60th Birthday. 
           (Lecture Notes in Computer Science, Vol. 9660)
             Apr. 2016	427 pp.
             (Springer)     9783319307336   11,970.
 041  Abramsky,S. et al.(eds.):詳報掲載
       Dependence Logic: Theory and Applications.
             June 2016	265 pp.
             (Birkhauser)   9783319318011   17,760.
 042  Bimbo,K.(ed.):
       J. Michael Dunn on Information Based Logics.
           (Outstanding Contributions to Logic, Vol. 8)
             Mar. 2016	436 pp.
             (Springer)     9783319292984   21,500.
*043  Gratzer,G.:
       The Congruences of A Finite Lattice: 
        A Proof-By-Picture Approach. 
             July 2016	346 pp.
             (Birkhauser)   9783319387963   12,530.
 044  Hein,J.:
       Discrete Structures, Logic, and Computability, 4th ed.
             Dec. 2015	1040 pp.
             (J & B)        9781284070408   34,970.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*045  Huang,W./Shao,S./Ye,X.:
       Nil Bohr-Sets and Almost Automorphy of Higher Order.
           (Memoirs of the American Mathematical Society, No. 1143)
             Apr. 2016	86 pp.
             (A.M.S.)       9781470418724   13,050.
 046  Ju,S./Lowe,B./Xie,Y./Muller,Th.(eds.):
       Cultures of Mathematics and Logic: 
        Selected Papers From the Conference in Guangzhou, 2012. 
           (Trends in the History of Science)
             May 2016	....
             (Birkhauser)   9783319315003   22,440.
*047  Kakkar,V.:
       Set Theory: Read It, Absorb It and Forget It.
             Apr. 2016	156 pp.
             (Alpha)        9781783322572    7,310.
*048  Marker,D.:
       Lectures on Infinitary Model Theory.
           (Lecture Notes in Logic, Series)
             21801	....
             (Cambridge)    9781107181939   13,210.
*049  Oliver,A./Smiley,T.:詳報掲載
       Plural Logic, 2nd ed.   Revised and Enlarged.
             May 2016	352 pp.
             (Oxford)       9780198744382    4,800.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*050  Probst,C./Hankin,C./Hansen,R.(eds.):
       Semantics, Logics, and Calculi: 
        Essays Dedicated to Hanne Ris Nielson and 
         Flemming Nielson on the Occasion of Their 60th Birthdays. 
             Apr. 2016	345 pp.
             (Springer)     9783319278094   10,470.
 051  Schroder,B.:詳報掲載
       Ordered Sets: 
        An Introduction with Connections 
         From Combinatorics to Topology, 2nd ed. 
             Apr. 2016	392 pp.
             (Birkhauser)   9783319297866   12,530.
 052  Smullyan,R.:
       A Beginner's Further Guide to Mathematical Logic.
             May 2016	350 pp.
             (World  Sci.)  9789814730990    9,570.
 053  Smullyan,R.:
       A Beginner's Further Guide to Mathematical Logic. 
        (Paper ed.) 
             June 2016	350 pp.
             (World  Sci.)  9789814725729    3,960.