Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995 /
Logic Colloquium(1995 :Haifa, Israel),creator.
Makowsky, Johann A.,1948-editor.
Ravve, Elena V.,1963-editor.
Originally published: Berlin : Springer, 1998.
Includes bibliographical references and index.
Logic, Symbolic and mathematical
Logic, Symbolic and mathematical.