Book News 526号
2. 数 理 論 理
*011 Ait-Ameur,Y./Nakajima,S./Mery,D.(eds.):
Implicit and Explicit Semantics Integration in
Proof Based Developments of Discrete Systems:
Communications of NII Shonan Meetings.
Aug. 2020 332 pp.
(Springer) 9789811550539 19,580.
*012 Dzamonja,M.:詳報掲載
Fast Track to Forcing.
(London Mathematical Society Student Texts, Vol. ***)
Oct. 2020 ....
(Cambridge) 9781108420150 14,260.
*013 Henning,M./Yeo,A.:詳報掲載
Transversals in Linear Uniform Hypergraphs.
(Developments in Mathematics, Vol. 63)
July 2020 204 pp.
(Springer) 9783030465582 17,800.
*014 Kechris,A.(ed.):
Large Cardinals, Determinacy and Other Topics:
The Cabal Seminar, Vol. IV.
(Lecture Notes in Logic, Vol. 49)
Mar. 2020 270 pp.
(Cambridge) 9781107182998 16,300.
*015 Toth,H.:
Relations:
Concrete, Abstract, and Applied.
Aug. 2020 580 pp.
(World Sci.) 9789811220340 27,380.
/注文方法/ボタンの / 目次へ / ページトップへ
*016 West,D.:詳報掲載
Combinatorial Mathematics.
July 2020 ....
(Cambridge) 9781107058583 12,220.