Book News 520号
2. 数理論理 



*052  Cantone,D./Ursino,P.:
       An Introduction to the Technique of 
        Formative Processes in Set Theory. 
             May 2019	154 pp.
             (Springer)     9783319892832   14,700.
 053  Carl,M.:
       Ordinal Computability: 
        An Introduction to Infinitary.
           (de Gruyter Series in Logic and Its Applications, Vol. *)
             July 2019	200 pp.
             (de Gruyter)   9783110495621   18,690.
 054  Cenzer,D./Larson,J.:
       Set Theory and Foundations of Mathematics: 
        An Introduction to Mathematical Logic, Vol. 1. 
             Dec. 2019	150 pp.
             (World Sci.)   9789811201929    7,970.
 055  Fong,B./Spivak,D.:詳報掲載
       An Invitation to Applied Category Theory: 
        Seven Sketches in Compositionality. 
             July 2019	350 pp.
             (Cambridge)    9781108482295   18,460.
 056  Fong,B./Spivak,D.:詳報掲載
       An Invitation to Applied Category Theory.  	(Paper ed.)
             July 2019	350 pp.
             (Cambridge)    9781108711821    8,250.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 057  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,140.
*058  Sieg,W.:詳報掲載
       Hilbert's Programs and Beyond.  		(Now in Paperback ed.)
             Aug. 2019	456 pp.
             (Oxford)       9780190948191    6,710.