Logic Colloquium '95 proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995 - Makowsky, Johann A. 1948-; Ravve, Elena V. 1963- (Cambridge University Press, 2016)