海量图书期刊资源，随时随地畅享阅读乐趣
Logic Colloquium 2000 (Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Paris, France, July 23–31, 2000) || Bounded forcing axioms and the size of the continuumCori, Rene; Razborov, Alexander; Todorcevic, Stevo; Wood, Carol · 2016