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



 040  Barendregt,H./Dekkers,W./Statman,R.:
       Lambda Calculus with Types.
           (Perspectives in Logic)
             Dec. 2011	700 pp.
             (Cambridge)    9780521766142    6,660.
*041  Barwise,J./Barker-Plummer,D./Etchemendy,J.:
       Language, Proof and Logic, 2nd ed.
             July 2011	650 pp.
             (C.S.L.I.)     9781575866321    6,330.
 042  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,070.
 043  Casanovas,E.:
       Simple Theories and Hyperimaginaries.
           (Lecture Notes in Logic, Vol. 39)
             June 2011	192 pp.
             (Cambridge)    9780521119559    8,320.
 044  Cooper,B./van Leeuwen,J.(eds.):
       The Selected Works of A. M. Turing: His Work and Impact.
             Dec. 2011	868 pp.
             (Academic)     9780123869807    9,220.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*045  Enderton,H.:
       Computability Theory: An Introduction to Recursion Theory.
             Jan. 2011	192 pp.
             (Academic)     9780123849588    9,830.
 046  Enderton,H.:
       A Mathematical Introduction to Logic, 3rd ed.
             Feb. 2012	364 pp.
             (Academic)     9780123869777   11,060.
 047  Goldblatt,R.:
       Quantifiers, Propositions and Identity.
           (Lecture Notes in Logic, Vol. 38)
             July 2011	282 pp.
             (Cambridge)    9781107010529    8,320.
*048  Kano,M./Akiyama,J.:詳報掲載
       Factors and Factorizations of Graphs.
           (Lecture Notes in Mathematics, Vol. 2031)
             July 2011	360 pp.
             (Springer)     9783642219184   12,310.
 049  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,550.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 050  Lemmens,B./Nussbaum,R.:詳報掲載
       Nonlinear Perron-Frobenius Theory.
           (Cambridge Tracts in Mathematics, Vol. 189)
             Nov. 2011	250 pp.
             (Cambridge)    9780521898812    7,770.
*051  Lukowski,P.:詳報掲載
       Paradoxes.
           (Trends in Logic, Vol. 31)
             June 2011	165 pp.
             (Springer)     9789400714755   17,590.
*052  Schwichtenberg,H./Stanley,W.:
       Proofs and Computations.
           (Perspectives in Logic)
             Nov. 2011	....
             (Cambridge)    9780521517690     価格未定
 053  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,120.
*054  Ye,F.:
       Strict Finitism and The Logic Mathematical Applications.
           (Synthese Library, Vol. 355)
             July 2011	272 pp.
             (Springer)     9789400713468   17,590.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 055  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,870.