Springer (1998)

The 1996 European Summer Meeting of the Association of Symbolic Logic was held held the University of the Basque Country, at Donostia Spain, on July 9-15, 1996. It was organised by the Institute for Logic, Cognition, Language and Information 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, Hezkuntza Saila, 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, J.L. Balcazar, J.E. Fenstad, D. Israel, H. Kamp, R. Kaye, J.M. Larrazabal, D. Lascar, A. Marcja, G. Mints, M. Otero, S. Ronchi della Rocca, K. Segerberg and L. Vega. The organizing Committee consisted of X. Arrazola, A. Arrieta, R. Beneyeto, B. Carrascal, K. Korta, J.M. Larrazabal, J.C. Martinez, J.M. Mendez, F. Migura and J. Perez.
Keywords Logic, Symbolic and mathematical
Categories (categorize this paper)
Buy this book Find it on Amazon.com
ISBN(s) 354064668x   354064668X   9783540646686
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,410
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles


Added to PP index

Total views
1 ( #1,552,974 of 2,519,861 )

Recent downloads (6 months)
1 ( #406,012 of 2,519,861 )

How can I increase my downloads?


Sorry, there are not enough data points to plot this chart.

My notes