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



 052  Cusick,T./Stanica,P.:
       Cryptographic Boolean Functions and Applications.
             Apr. 2009	406 pp.
             (Academic)     9780123748904    8,330.
 053  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	119 pp.
             (Hermann)      9782705666880    7,850.
 054  Fisher,M.:
       Practical Formal Methods using Temporal Logic.
             July 2009	344 pp.
             (Wiley)        9780470027882   18,070.
*055  Huber,F./Schmidt-Petri,C.(eds.) :
       Degrees of Belief.
           (Synthese Library, Vol. 342)
             Jan. 2009	365 pp.
             (Springer)     9781402091971   29,910.
*056  Li,W.:
       Mathematical Logic: Basic Principles and Formal Calculus.
           (Progress in Computer Science and Applied Logic, Vol. 25)
             June 2009	300 pp.
             (Birkhauser)   9783764399764    9,330.
／注文方法／ボタンの

*057  Majer,O./Pietarinen,A.-V./Tulenheimo,T.(eds.) :
       Games: Unifying Logic, Language, and Philosophy.
           (Logic, Epistemology, and the Unity of Science, Vol. 15)
             Jan. 2009	400 pp.
             (Springer)     9781402093739   30,840.
 058  Metcalfe,G./Olivetti,N./Gabbay,D.:
       Proof Theory for Fuzzy Logics.
             Jan. 2009	285 pp.
             (Springer)     9781402094088   22,430.
*059  Milosav,P./Ercegovaca,I.(eds.):
       Mathematics and Mathematical Logic: New Research.
             June 2009	....
             (Nova)         9781606928622   17,930.
 060  Simpson,S.:詳報掲載
       Subsystems of Second Order Arithmetic, 2nd ed.
           (Perspectives in Logic)
             Mar. 2009	460 pp.
             (Cambridge)    9780521884396   10,560.
 061  Szabo,S./Sands,A.:詳報掲載
       Factoring Groups Into Subset.
           (Lecture Notes in Pure and Applied Mathematics, Vol. 257)
             Jan. 2009	280 pp.
             (Chapman & Hall) 9781420090468   23,000.
／注文方法／ボタンの

        
／注文方法／ボタンの