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

詳報内のコンテンツ等は、出版時に予告なく変更される場合がございます。


*038  Aguzzoli,S./Ciabattoni,A./Gerla,B./Manara,C./Marra,V.(eds.):
       Algebraic and Proof-Theoretic Aspects of 
        Non-Classical Logics: Papers in Honor of Daniele 
         Mundici in the Occasion of His 60th Birthday. 
           (Lecture Notes in Computer Science, Vol. 4460)
             Nov. 2007	309 pp.
             (Springer)     9783540759386   11,950.
*039  Chatrand,G./Polimeni,A./Zhang,P.:詳報掲載
       Mathematical Proofs: A Transition to Advanced 
        Mathematics, 2nd ed. 
             Jan. 2008	384 pp.
             (Addison)      9780321390530   16,120.
 040  Crama,Y./Hammer,P.:
       Boolean Functions: Theory and Algorithms.
             Dec. 2007	700 pp.
             (Cambridge)    9780521847513   22,120.
 041  Haskel,D./Hrushovski,E./Macpherson,D.:
       Stable Domination and Independence in 
        Algebraically Closed Valued Fields. 
           (Lecture Notes in Logic, Vol. 30)
             Nov. 2007	200 pp.
             (Cambridge)    9780521889810   10,270.
 042  Keene,G.:
       Abstract Sets and Finite Ordinals: An 
        Introduction to the Study of Set Theory. 1961 
         Reprint 
             Dec. 2007	112 pp.
             (Dover)        9780486462493    1,740.
／注文方法／ボタンの

*043  Srivastava,S.:
       A Course on Mathematical Logic.
           (Universitext)
             Mar. 2008	160 pp.
             (Springer)     9780387762753    9,590.
 044  Woodin,W.:
       The Axiom of Determinancy, for Axioms, and 
        Nonstationary Ideal, 2nd ed. 
           (de Gruyter Series in Logic and Its Applications, Vol. 1)
             May 2008	950 pp.
             (de Gruyter)   9783110197020   36,850.