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



 039  Artemov,S./Fitting,M.:詳報掲載
       Justification Logic: Reasoning with Reasons.
           (Cambridge Tracts in Mathematics, Vol. 217)
             July 2019	267 pp.
             (Cambridge)    9781108424912   20,630.
*040  Barany,I./Katona,G./Sali,A.(eds.):詳報掲載
       Building Bridges II: Mathematics of Laszlo Lovasz.
           (Bolyai Society Mathematical Studies, Vol. 28)
             May 2019	420 pp.
             (Springer)     9783662592038   19,100.
 041  Bimbo,K.:
       Mathematical Logic.
           (Textbooks in Mathematics)
             July 2019	272 pp.
             (Chapman & Hall) 9781498744133   13,100.
*042  Burge,T./Enderton,H.(eds.):
       The Collected Works of Alonzo Church.
             Apr. 2019	1232 pp.
             (M.I.T.)       9780262025645   22,680.
*043  Carl,M.:
       Ordinal Computability: An Introduction to Infinitary.
           (de Gruyter Series in Logic and Its Applications, Vol. 9)
             July 2019	200 pp.
             (de Gruyter)  9783110495621   19,090.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*044  Cenzer,D./Larson,J.:
       Set Theory and Foundations of Mathematics: 
        An Introduction to Mathematical Logic, Vol. 1. 
             Dec. 2019	150 pp.
             (World Sci.)  9789811201929    8,060.
*045  Chartrand,G./Egan,C./Zhang,P.:詳報掲載
       How to Label A Graph.
           (SpringerBriefs in Mathematics)
             June 2019	101 pp.
             (Springer)     9783030168629    9,550.
*046  Cobzas,S./Miculescu,R./Nicolae,A.:詳報掲載
       Lipschitz Functions.
           (Lecture Notes in Mathematics, Vol. 2241)
             June 2019	593 pp.
             (Springer)     9783030164881   10,500.
*047  Fong,B./Spivak,D.:詳報掲載
       An Invitation to Applied Category Theory: 
        Seven Sketches in Compositionality. 
             July 2019	350 pp.
             (Cambridge)    9781108482295   19,160.
*048  Fong,B./Spivak,D.:詳報掲載
       An Invitation to Applied Category Theory.  (Paper ed.)
             July 2019	350 pp.
             (Cambridge)    9781108711821    8,560.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 049  Kirby,J.:
       An Invitation to Model Theory.
             Apr. 2019	195 pp.
             (Cambridge)    9781107163881   11,970.
 050  Krajicek,J.:詳報掲載
       Proof Complexity.
           (Encyclopedia of Mathematics and its Applications, Vol. 17)
             May 2019	542 pp.
             (Cambridge)    9781108416849   23,730.
*051  Murty,E./Fodden,B.:詳報掲載
       Hilbert's Tenth Problem: 
        An Introduction to Logic, Number Theory, and Computability. 
           (Student Mathematical Library, Vol. 88)
             May 2019	242 pp.
             (A.M.S.)       9781470443993    9,260.
 052  Nicholson,N.:詳報掲載
       A Transition to Proof: 
        An Introduction to Advanced Mathematics. 
           (Textbooks in Mathematics)
             Apr. 2019	450 pp.
             (Chapman & Hall) 9780367201579   16,950.
*053  Oms,S./Zardini,E.:
       The Sorites Paradox.
             Oct. 2019	362 pp.
             (Cambridge)    9781316615690    5,180.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 054  Schlechta,K.:
       Formal Methods for 
        Nonmonotonic and Related Logics, Vol. I and Vol. II. 	2 Vols Set 
             Dec. 2018	818 pp.
             (Springer)     9783030023102   24,830.
 055  Tarski,A.:
       Tarski, Alfred: Collected Papers.   		4 Vols. Set
             June 2019	2796 pp.
             (Birkhauser)   9783030055400   86,900.
*056  Velleman,D.:詳報掲載
       How to Prove It: A Structured Approach, 3rd ed.
             Oct. 2019	400 pp.
             (Cambridge)    9781108424189   18,030.
*057  Velleman,D.:詳報掲載
       How to Prove It: A Structured Approach, 3rd ed. 	 (Paper ed.)
             Oct. 2019	400 pp.
             (Cambridge)    9781108439534    6,760.