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



*026  Abraham,E. et al.(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   12,220.
*027  Gratzer,G.:
       The Congruences of A Finite Lattice:  
        A Proof-By-Picture Approach. 
             July 2016	346 pp.
             (Birkhauser)   9783319387963   12,790.
*028  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,510.
*029  Kakkar,V.:
       Set Theory: Read It, Absorb It and Forget It.
             Apr. 2016	156 pp.
             (Alpha)        9781783322572    4,400.
*030  Oliver,A./Smiley,T.:詳報掲載
       Plural Logic, 2nd ed. Revised and Enlarged.
             May 2016	352 pp.
             (Oxford)       9780198744382    4,800.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*031  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,700.