Logic Colloquium '95 proceedings of the annual European summer meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9 - 18, 1995 - Makowsky, Johann A. 1948- (Springer, 1998)