![Logic Colloquium 2000 (Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Paris, France, July 23–31, 2000) || K. Jon Barwise (1942-2000)]()
Logic Colloquium 2000 (Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Paris, France, July 23–31, 2000) || K. Jon Barwise (1942-2000)Cori, Rene; Razborov, Alexander; Todorcevic, Stevo; Wood, Carol · 2016