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



*046  Berghammer,R./Moller,B./Struth,G.(eds.):
       Relations and Kleene Algebra in Computer Science:
        10th Int'l Conference on Relational Methods in 
        Computer Science 
       and 5th International Conference on Applications 
        of Kleene Algebra, RelMiCS/AKA 2008, Frauenworth. 
           (Lecture Notes in Computer Science, Vol. 4988)
             Apr. 2008	397 pp.
             (Springer)     9783540789123   13,720.
*047  Brenner,J.:
       Logic in Reality.
             June 2008	380 pp.
             (Springer)     9781402083747   31,840.
*048  Hindley,J./Seldin,J.:詳報掲載

       Lambda-Calculus and Combinators, 2nd ed.
             July 2008	344 pp.
             (Cambridge)    9780521898850    9,800.
 049  Kechris,A./Lowe,B./Steel,J.(eds.):詳報掲載

       Games, Scales and Suslin Cardinals:
        The Cabal Seminar, Vol. I. 
           (Lecture Notes in Logic, Vol. **)
             Sep. 2008	464 pp.
             (Cambridge)    9780521899512   12,600.
*050  Kim,B.:
       Simplicity Theory.
           (Oxford Logic Guides, Series)
             Sep. 2008	304 pp.
             (Oxford)       9780198567387   17,100.
／注文方法／ボタンの

 051  Sibley,T.:詳報掲載

       The Foundations of Mathematics.
             Apr. 2008	432 pp.
             (Wiley)        9780470085011   14,100.
 052  Simovici,D./Djeraba,C.:
       Mathematical Tools for Data Mining:
        Set Theory, Partial Orders, Combinatorics.
             July 2008	630 pp.
             (Springer)     9781848002005   24,490.
*053  Szabo,S./Sands,A.:
       Factoring Groups into Subset.
           (Lecture Notes in Pure and Applied Mathematics, Vol. ***)
             Nov. 2008	280 pp.
             (Chapman & Hall) 9781420090468   29,540.