Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures /

Bibliographic Details
Corporate Authors:	European Summer School in Logic, Language, and Information Aix-en Provence, France, SpringerLink (Online service)
Other Authors:	Väänänen, J. (Jouko), 1950-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [1999]
Series:	Lecture notes in computer science ; 1754.
Subjects:	Computer science > Mathematics > Congresses. Computer logic > Congresses. Programming languages (Electronic computers) > Congresses. Computer logic. Computer science > Mathematics. Programming languages (Electronic computers) programmation en logique. modèle fini. théorie Ramsey. complexité calcul. quantificateur. logique mathématique. Logique informatique. Quantificateurs (Linguistique) > Informatique. Formele semantiek. Logica matematica. Inteligencia Artificial (Computacao) Logique informatique > Congrès. Langages de programmation > Congrès. Quantor. Berechnungskomplexität. Aix-en-Provence <1997>. Electronic books. Conference proceedings. Aix-en-Provence (1997)
Online Access:	Connect to the full text of this electronic book

Remote Storage