Logic Colloquium '95
Subtitle: proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995
By: Johann A. Makowsky, Elena V. Ravve (eds.).
Contributors: Makowsky, Johann A., 1948-; Ravve, Elena V., 1963-; Association of Symbolic Logic.
Series: Lecture notes in logic ;; 11
Publisher: Springer
Published: 1998
Place of publication: Berlin; New York
Language: eng
Number of pages: 348
Subjects: Logic, Symbolic and mathematical -- Congresses.
Notes: Includes bibliographical references and index.