TY - BOOK
AU - European Summer School in Logic, Language and Information 9 1997 Aix-en-Provence
AU - Väänänen, Jouko
TI - Generalized quantifiers and computation revised lectures
PB - Springer
SN - 3540669930
KW - Computer science Congresses Mathematics
KW - Computer logic Congresses
KW - Programming languages (Electronic Computers) Congresses
KW - Model theory Congresses
KW - Konferenzschrift 1997 Aix-en-Provence
KW - Quantor
KW - Berechnungskomplexität
PY - 1999
BT - Lecture notes in computer science ; 1754
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation