Logic Colloquium '96
Subtitle: proceedings of the colloquium held in San Sebastián, Spain, July 9-15, 1996
By: J.M. Larrazabal, D. Lascar, G. Mints (eds.).
Series: Lecture notes in logic -- 12
Publisher: Springer
Published: 1998
Place of publication: Berlin; New York
Language: eng
Number of pages: 261
Subjects: Logic, Symbolic and mathematical -- Congresses.