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



*042  Anshakov,O./Gergely,T.:
       Cognitive Reasoning: A Formal Approach.
           (Cognitive Technologies)
             Jan. 2010	433 pp.
             (Springer)     9783540430582   19,890.
 043  Arai,T./Brendle,J./Kikyo,H./Chong,C./Downey,R./Feng,Q./Ono,H.:
       Proceedings of the 10th Asian Logic Conference: 
        Kobe, Japan, September 2008. 
             Nov. 2009	360 pp.
             (World Sci.)   9789814293013   14,690.
*044  Carnielli,W./Pizzi,C.:
       Modalities and Multimodalities.
             Dec. 2009	306 pp.
             (Springer)     9789048137626    8,940.
 045  Crama,Y./Hammer,P.(eds.):詳報掲載
       Boolean Functions, Vol. 2: Applications.
           (Encyclopedia of Mathematics and its Applications, Vol. ***)
             May 2010	748 pp.
             (Cambridge)    9780521847520   17,160.
*046  Delon,F./Kohlenbach,U./Maddy,P./Stephan,F.(eds.):
       Logic Colloquium 2007.
           (Lecture Notes in Logic)
             Apr. 2010	281 pp.
             (Cambridge)    9780521760652   11,220.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 047  Doberkat,E.-E.:詳報掲載
       Stochastic Coalgebric Logic.
           (Monographs in Theoretical Computer Science. An EATCS Series)
             Nov. 2009	231 pp.
             (Springer)     9783642029943   15,910.
 048  Feferman,S./Parsons,C./Simpson,S.:詳報掲載
       Kurt Godel: Essays for his Centennial.
           (Lecture Notes in Logic)
             Mar. 2010	375 pp.
             (Cambridge)    9780521115148   11,880.
 049  Gabbay,D./Schlechta,K.:
       Logical Tools for Handling Change in Agent-Based Systems.
             Nov. 2009	369 pp.
             (Springer)     9783642044069   14,910.
*050  Haskel,D./PIllay,A./Steinhorn,C.:
       Model Theory, Algebra, and Geometry.  (Now in Paperback ed.)
           (Mathematical Science Research Institute Publications, Vol. 39)
             Apr. 2010	235 pp.
             (Cambridge)    9780521143493    3,400.
 051  Lecomte,A.:
       Meaning, Logic and Ludics.
             Apr. 2010	250 pp.
             (Imperial College) 9781848164567   11,560.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 052  Lerman,M.:詳報掲載
       A Framework for Priority Arguments.
           (Lecture Notes in Logic)
             Mar. 2010	176 pp.
             (Cambridge)    9780521119696    9,240.
 053  Pearl,J.:
       Casality, Reasoning and Inference, 2nd ed.
             2009	484 pp.
             (Cambridge)    9780521895606    6,470.
 054  Qiu,W.:詳報掲載
       Difference Sets and Their Applications.
           (Peking University Series in Mathematics, Vol. 5)
             Dec. 2009	300 pp.
             (World Sci.)   9789814280761   10,610.
*055  Schmidt,G.:
       Relational Mathematics.
           (Encyclopedia of Mathematics and its Applications, Vol. 132)
             June 2011	600 pp.
             (Cambridge)    9780521762687   13,460.
 056  Todorcevic,S.:詳報掲載
       Introduction to Ramsey Spaces.
           (Annals of Mathematics Studies, Vol. 174)
             July 2010	296 pp.
             (Princeton Univ.) 9780691145419    8,880.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 057  Todorcevic,S.:詳報掲載
       Introduction to Ramsey Spaces.  (Paper ed.)
           (Annals of Mathematics Studies, Vol. 174)
             July 2010	296 pp.
             (Princeton Univ.) 9780691145426    4,460.