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



 035  Awodey,S.:
       Introduction to Category Theory.
           (Oxford Texts in Logic, Vol. 4)
             Mar. 2009	304 pp.
             (Oxford)       9780199237180    6,420.
*036  Bimbo,K./Dunn,M.:
       Generalized Galois Logics: Relational Semantics 
        of Nonclassical Logical Calculi. 
           (CSLI Lecture Notes, Vol. **)
             July 2008	394 pp.
             (C.S.L.I.)     9781575865737   12,160.
*037  Bimbo,K./Dunn,M.:詳報掲載
       Generalized Galois Logics: Relational Semantics 
        of Nonclassical Logical Calculi. (Paper ed.) 
           (CSLI Lecture Notes, Vol. **)
             July 2008	394 pp.
             (C.S.L.I.)     9781575865744    5,700.
*038  Bostock,D.:
       Philosophy of Mathematics: An Introduction.
             Jan. 2009	344 pp.
             (Blackwell)    9781405189927   15,200.
*039  Bostock,D.:
       Philosophy of Mathematics: An Introduction.	(Paper ed.)
             Jan. 2009	344 pp.
             (Blackwell)    9781405189910    6,080.
／注文方法／ボタンの

*040  Kanamori,A.:詳報掲載
       The Higher Infinite: Large Cardinals in Set 
        Theory from Their Beginnings. 2nd Print 2009 (Now 
         in Paperback ed.) 
           (Springer Monographs in Mathematics)
             Dec. 2008	564 pp.
             (Springer)     9783540888666   10,140.
*041  Makinson,D./Malinowski,J./Wansing,H.(eds.):
       Towards Mathematical Philosophy: Papers from The 
        Studia Logica Conference Trends in Logic IV. 
           (Trends in Logic, Vol. 28)
             Nov. 2008	320 pp.
             (Springer)     9781402090837   31,440.
 042  Prest,M.:詳報掲載
       Purity, Spectra and Localisation.
           (Encyclopedia of Mathematics and its Applications, Vol. 121)
             June 2009	755 pp.
             (Cambridge)    9780521873086   23,290.
 043  Roman,S.:詳報掲載
       Lattices and Ordered Sets.
             Oct. 2008	330 pp.
             (Springer)     9780387789002    9,530.
*044  Shin,S.-J.:
       The Logical Status of Diagrams.	(Now in Paperback ed.)
             Mar. 2009	209 pp.
             (Cambridge)    9780521102773    5,890.
／注文方法／ボタンの

*045  Shoesmith,D./Smily,T.:
       Multiple-Conclusion Logic.	(Now in Paperback ed.)
             Jan. 2009	....
             (Cambridge)    9780521093323    6,850.
*046  Tymoczko,T./Jim,H.:
       Sweet Reason: A Field Guide to Modern Logic.
             June 2008	666 pp.
             (Key Curriculum) 9780470414187   17,930.