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



 044  Barendregt,H./Dekkers,W./Statman,R.:
       Lambda Calculus with Types.
           (Perspectives in Logic)
             Dec. 2011	700 pp.
             (Cambridge)    9780521766142    6,840.
 045  Beziau,J.-Y.(ed.):詳報掲載
       Universal Logic: An Anthology; 
        From Paul Hertz to Dov Gabbay. 
           (Studies in Universal Logic)
             Oct. 2011 << Dec. 2010	500 pp.
             (Springer)     9783034601443   14,630.
*046  Casanovas,E.:
       Simple Theories and Hyperimaginaries.
           (Lecture Notes in Logic, Vol. 39)
             June 2011	192 pp.
             (Cambridge)    9780521119559    8,550.
*047  Cooper,B./van Leeuwen,J.(eds.):
       The Selected Works of A. M. Turing: His Work and Impact.
             Dec. 2011	868 pp.
             (Academic)     9780123869807    9,520.
*048  Dimitracopoulos,C.:
       Logic Colloquium 2005.  (Now in Paperback ed.)
           (Lecture Notes in Logic, Vol. 28)
             July 2011	288 pp.
             (Cambridge)    9780521329637    6,270.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*049  Enderton,H.:
       A Mathematical Introduction To Logic, 3rd ed.
             Feb. 2012	364 pp.
             (Academic)     9780123869777   11,430.
 050  Goldblatt,R.:
       Quantifiers, Propositions and Identity.
           (Lecture Notes in Logic, Vol. 38)
             July 2011	282 pp.
             (Cambridge)    9781107010529    8,550.
*051  Haskell,D./Hrushovski,E./Macpherson,D.:
       Stable Domination and Independence in 
        Algebraically Closed Valued Fields. (Now in Paperback ed.) 
           (Lecture Notes in Logic, Vol. 30)
             July 2011	194 pp.
             (Cambridge)    9780521335157    4,560.
 052  Kennedy,J./Kossak,R.:
       Set Theory, Arithmetic, and Foundations of Mathematics: 
        Theorems, Philosophies. 
           (Lecture Notes in Logic, Vol. 36)
             July 2011	250 pp.
             (Cambridge)    9781107008045    7,750.
 053  Lemmens,B./Nussbaum,R.:詳報掲載
       Nonlinear Perron-Frobenius Theory.
           (Cambridge Tracts in Mathematics, Vol. 189)
             Nov. 2011	250 pp.
             (Cambridge)    9780521898812    7,980.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 054  Picado,J./Pultr,A.:詳報掲載
       Frames and Locales: Topology without Points.
           (Frontiers in MathematicsVol. 28)
             Aug. 2011	274 pp.
             (Birkhauser)   9783034801539   10,790.
 055  Positselski,L.:
       Two Kinds of Derived Categories, 
        Koszul Duality, and Comodule-Contramodule Correspondence. 
           (Memoirs of the American Mathematical Society, No. 996)
             June 2011	133 pp.
             (A.M.S.)       9780821852965    9,020.
*056  Potter,M.:
       Wittgenstein's Notes on Logic.  (Now in Paperback ed.)
             Jan. 2011	326 pp.
             (Oxford)       9780199596355    4,010.
 057  Simmons,H.:詳報掲載
       An Introduction to Category Theory.
             Oct. 2011	230 pp.
             (Cambridge)    9781107010871    8,900.
 058  Simmons,H.:詳報掲載
       An Introduction to Category Theory.   (Paper ed.)
             Oct. 2011	230 pp.
             (Cambridge)    9780521283045    3,190.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*059  Wang,J.(ed.) :詳報掲載
       Handbook of Finite State Based Models and Applications.
           (Discrete Mathematics and Its Applications)
             Feb. 2012	356 pp.
             (C R C Press)  9781439846186   13,500.
 060  Watkins,M./Meyer,J.:
       A Passage to Abstract Mathematics.
             Jan. 2011	256 pp.
             (Prentice Hall) 9780321738639   10,660.