Logic Colloquium ’96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996 (Lecture Notes in Logic)

The 1996 European Summer Meeting of the Association of Symbolic Logic was held held the University of the Basque Country, at Donostia (San Se­ bastian) Spain, on July 9-15, 1996. It was organised by the Institute for Logic, Cognition, Language and Information (ILCLI) and the Department of Logic and Philosophy of Sciences of the University of the Basque Coun­ try. It was supported by: the University of Pais Vasco/Euskal Herriko Unib­ ertsitatea, the Ministerio de Education y Ciencia (DGCYT), Hezkuntza Saila (Eusko Jaurlaritza), Gipuzkoako Foru Aldundia, and Kuxta Fun­ dazioa. The main topics of the meeting were Model Theory, Proof Theory, Re­ cursion and Complexity Theory, Models of Arithmetic, Logic for Artifi­ cial Intelligence, Formal Semantics of Natural Language and Philosophy of Contemporary Logic. The Program Committee consisted of K. Ambos Spies (Heidelberg), J.L. Balcazar (Barcelona), J.E. Fenstad (Oslo), D. Israel (Stanford), H. Kamp (Stuttgart), R. Kaye (Birmingham), J.M. Larrazabal (San Sebastian), D. Lascar (Paris, chairman), A. Marcja (Firenze), G. Mints (Stanford), M. Otero (Madrid), S. Ronchi della Rocca (Torino), K. Segerberg (Uppsala) and L. Vega (Madrid). The organizing Committee consisted of X. Arrazola (San Sebastian), A. Arrieta (San Sebastian), R. Beneyeto (Valencia), B. Carrascal (San Se­ bastian), K. Korta (San Sebastian), J.M. Larrazabal (San Sebastian, chair­ man), J.C. Martinez (Barcelona), J.M. Mendez (Salamanca), F. Migura (Victoria) and J. Perez (Victoria).