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



*027  Andretta,A./Kearnes,K./Zambella,D.(eds.):
       Logic Colloquium 2004.
           (Lecture Notes in Logic, Vol. 29)
             Oct. 2007	240 pp.
             (Cambridge)    9780521884242   13,270.
*028  Koshy,T.:
       Catalan Numbers with Applications.
             Feb. 2008	304 pp.
             (Oxford/USA)   9780195334548   22,120.
*029  Mainwaring,G.:
       Chambers Adult Learners・Guide to Numeracy.
             2007	263 pp.
             (Brooking Inst.) 9780550103215    2,510.
 030  Schneider,K./Brandt,J.(eds.):
       Theorem Proving in Higher Order Logics: 
         20th Int'l Conference, 2007, Kaiserslautern. 
           (Lecture Notes in Computer Science, Vol. 4732)
             Sep. 2007	401 pp.
             (Springer)     9783540745907   13,500.
／注文方法／ボタンの