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



 054  Awodey,S.:
       Introduction to Category Theory.
           (Oxford Texts in Logic, Vol. 4)
             Mar. 2009	304 pp.
             (Oxford)       9780199237180    5,590.
 055  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   11,760.
 056  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,510.
*057  Cusick,T./Stanica,P.:
       Cryptographic Boolean Functions and Applications.
             Apr. 2009	406 pp.
             (Academic)     9780123748904    8,810.
*058  Denkowska,Z./Stasica,J.:
       Ensembles sous-analytiques a la polonaise: 
        Avec une introduction aux fonctions 
         et ensembles analytiques. 
           (Travaux en cours, Vol. 69)
             Jan. 2008	....
             (Hermann)      9782705666880    7,480.
／注文方法／ボタンの

*059  Fisher,M.:
       Practical Formal Methods using Temporal Logic.
             July 2009	344 pp.
             (Wiley)        9780470027882   19,110.
 060  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   25,230.
*061  Metcalfe,G./Olivetti,N./Gabbay,D.:
       Proof Theory for Fuzzy Logics.
             Nov. 2008	285 pp.
             (Springer)     9781402094088   22,430.
 062  Sacks,G.:
       Saturated Model Theory, 2nd ed.
             Jan. 209 <(World Sci.)   9789812833815    8,530.
*063  Simpson,S.:詳報掲載
       Subsystems of Second Order Arithmetic, 2nd ed.
           (Perspectives in Logic)
             Mar. 2009	460 pp.
             (Cambridge)    9780521884396   10,560.
／注文方法／ボタンの

 064  Tymoczko,T./Jim,H.:
       Sweet Reason: A Field Guide to Modern Logic. 
             June 2008	666 pp.
             (Key Curriculum) 9780470414187   17,340.