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



*046  Barendregt,H.:
       Lambda Calculus with Types.
           (Perspectives in Logic) 
             Nov. 2011	700 pp.
             (Cambridge)    9780521766142    6,720.
*047  Casanovas,E.:
       Simple theories and Hyperimaginaries.
           (Lecture Notes in Logic, Vol. 39)
             June 2011	192 pp.
             (Cambridge)    9780521119559    8,400.
 048  Cerro,L./Gasquet,O./Herzig,A./Sahade,M.:
       Kripke's World.
           (Studies in Universal Logic)
             Dec. 2011	....
             (Birkhauser)   9783764385033    8,690.
*049  Chapman,R.(ed.) :
       Surveys in Combinatorics 2011.
           (London Mathematical Society Lecture Note Series, Vol. 392)
             July 2011	456 pp.
             (Cambridge)    9781107601093    8,960.
 050  Cluckers,R./Nicaise,J./Sebag,J.:詳報掲載
       Motivic Integration and Its Interactions with 
        Model Theory and Non-Archimedean Geometry, 1. 
           (London Mathematical Society Lecture Note Series, Vol. 383)
             Oct. 2011	350 pp.
             (Cambridge)    9780521149761    7,840.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 051  Cluckers,R./Nicaise,J./Sebag,J.:詳報掲載
       Motivic Integration and Its Interactions with 
        Model Theory and Non-Archimedean Geometry, 2. 
           (London Mathematical Society Lecture Note Series, Vol. 384)
             Oct. 2011	270 pp.
             (Cambridge)    9781107648814    7,280.
*052  Daepp,U./Gorkin,P.:
       Reading, Writing, and Proving: 
        A Closer Look at Mathematics, 2nd ed. 
           (Undergraduate Texts in Mathematics)
             Apr. 2011	378 pp.
             (Springer)     9781441994783    9,910.
*053  Goldblatt,R.:
       Quantifiers, Propositions and Identity.
           (Lecture Notes in Logic, Vol. 38)
             July 2011	282 pp.
             (Cambridge)    9781107010529    8,400.
 054  Graham,R./Rothschild,B./Spencer,J./Solymosi,J.:
       Ramsey Theory, 3rd ed.
           (Wiley Series in Discrete Mathematics and Optimization)
             May 2011	288 pp.
             (Wiley)        9780470391853   11,770.
*055  Kennedy,J./Kossak,R.:
       Set Theory, Arithmetic, and Foundations of Mathematics: 
        Theorems, Philosophies. 
           (Lecture Notes in Logic, Vol. 36)
             Nov. 2011	250 pp.
             (Cambridge)    9781107008045    7,620.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*056  Lemmens,B./Nussbaum,R.:
       Nonlinear Perron-Frobenius Theory.
           (Cambridge Tracts in Mathematics, Vol. 189)
             Nov. 2011	250 pp.
             (Cambridge)    9780521898812    7,840.
 057  Mundici,D.:
       Advanced Lukasiewicz Calculus and MV-Algebras.
           (Trends in Logic, Vol. 35)
             Apr. 2011	214 pp.
             (Springer)     9789400708396   17,390.
*058  Picado,J./Pultr,A.:詳報掲載
       Frames and Locales: Topology without Points.
           (Frontiers in MathematicsVol. 28)
             Aug. 2011	274 pp.
             (Birkhauser)   9783034801539   10,430.
*059  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    8,800.
*060  Simmons,H.:詳報掲載
       An Introduction to Category Theory.
             Nov. 2011	230 pp.
             (Cambridge)    9781107010871    8,740.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*061  Simmons,H.:詳報掲載
       An Introduction to Category Theory.   (Paper ed.)
             Nov. 2011	230 pp.
             (Cambridge)    9780521283045    3,020.
*062  Watkins,M./Meyer,J.:
       A Passage to Abstract Mathematics.
             Jan. 2011	256 pp.
             (Prentice Hall) 9780321738639   10,920.
 063  van Benthem,J./Gupta,A./Parikh,R.(eds.):
       Proof, Computation and Agency: Logic at the Crossroads.
           (Synthese Library, Vol. 352)
             Mar. 2011	400 pp.
             (Springer)     9789400700796   24,350.
*064  van Dalen,D.:
       The Selected Correspondence of L. E. J. Brouwer.
           (Sources and Studies in the History of Mathematics and Physical Sciences)
             Sep. 2011	526 pp.
             (Springer)     9780857295279   22,610.