Logic Across the University: Foundations and Applications Proceedings of the Tsinghua Logic Conference, Beijing, 2013 by Johan Van Benthem | Menrva Books | MenrvaBooks