Электронный каталог: 2015 North American Annual Meeting of the Association for Symbolic Logic University of Illinois a...