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



 058  Gabbay,D./Woods,J.(eds.):
       Logic From Russell to Godel.
           (Handbook of the History of Logic, Vol. 5)
             July 2009	600 pp.
             (North Holland) 9780444516206   37,960.
 059  Gossett,E.:詳報掲載
       Discrete Mathematics with Proof, 2nd ed.
             June 2009	928 pp.
             (Wiley)        9780470457931   18,980.
*060  Hunter,D.:
       A Practical Guide to Critical Thinking: 
        Deciding What to Do and Believe. 
             June 2009	280 pp.
             (Wiley)        9780470167571    8,020.
 061  Moschovakis,Y.:詳報掲載
       Descriptive Set Theory, 2nd ed.
           (Mathematical Surveys and Monographs, Vol. 155)
             July 2009	502 pp.
             (A.M.S.)       9780821848135   16,790.
*062  Pitts,A./Dybjer,P.(eds.):
       Semantics and Logics of Computation. 
        (Now in Paperback ed.) 
           (Publications of the Newton Institute, Vol. 14)
             Oct. 2010	376 pp.
             (Cambridge)    9780521118460    6,550.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*063  Stern,M.:詳報掲載
       Semimodular Lattices: Theory and Applications. 
        (Now in Paperback ed.) 
           (Encyclopedia of Mathematics and Its Applications, Vol. 73)
             Sep. 2009	384 pp.
             (Cambridge)    9780521118842    9,170.
*064  Taylor,J./Garnier,R.:
       Discrete Mathematics: 
        Proofs, Structures and Applications, 3rd ed. 
             Nov. 2009	800 pp.
             (Chapman & Hall) 9781439812808    9,160.
 065  Woodin,W.:
       The Axiom of Determinancy, 
        for Axioms, and Nonstationary Ideal, 2nd ed. 
           (de Gruyter Series in Logic and Its Applications, Vol. 1)
             Mar. 2010	950 pp.
             (de Gruyter)   9783110197020   29,990.