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



*039  Burgess,J.:
       Philosophical Logic.
           (Princeton Foundations of Contemporary Philosophy)
             Aug. 2009	168 pp.
             (Princeton Univ.) 9780691137896    2,950.
*040  Chen,Z.:
       Introduction to Mathematics of Satisfiability.
             June 2009	362 pp.
             (Chapman & Hall) 9781439801673   11,820.
 041  Denecke,K./Wismath,S.:
       Universal Algebra and Coalgebra.
             Apr. 2009	280 pp.
             (World Sci.)   9789812837455    8,140.
 042  Gabbay,D./Skvortsov,S./Shehtman,V.:
       Quantification in Nonclassical Logic.
           (Studies in Logic and the Foundations of Mathematics, Vol. 153)
             July 2009	648 pp.
             (North Holland) 9780444520128   31,820.
*043  Gossett,E.:詳報掲載
       Discrete Mathematics with Proof, 2nd ed.
             July 2009	928 pp.
             (Wiley)        9780470457931   19,240.
／注文方法／ボタンの

 044  Hein,J.:
       Discrete Structures, Logic, and Computability, 3rd ed.
             Feb. 2009	1024 pp.
             (J & B)        9780763772062   19,230.
 045  Marquis,J.-P.:
       From A Geometrical Point of View: 
        A Study of the History and Philosophy of Category Theory. 
           (Logic, Epistemology, and the Unity of Science, Vol. 14)
             Jan. 2009	310 pp.
             (Springer)     9781402093838   26,180.
 046  Sacks,G.:
       Saturated Model Theory, 2nd ed.
             May 2009	350 pp.
             (World Sci.)   9789812833815    8,120.
*047  Stirling,D.:
       Mathematical Analysis and Proof, 2nd ed.
             Apr. 2009	250 pp.
             (Horwood)      9781904275404    6,880.
*048  Tse,T.:詳報掲載
       A Unifying Framework for 
        Structured Analysis and Design Models: 
         An Approach Using Initial Algebra Semantics 
          and Category Theory. (Now in Paperback ed.) 
           (Cambridge Tracts in Theoretical Computer Science, Vol. 11)
             July 2009	191 pp.
             (Cambridge)    9780521117876    3,750.
／注文方法／ボタンの