TY  - BOOK
AU  - Beklemishev Lev
AU  - Pentus Mati
AU  - Vereshchagin Nikolai
TI  - Provability, complexity, grammars
SN  - 0-8218-1078-2
U1  - 510T 
PY  - 1999///
CY  - Providence
PB  - AMS
KW  - Computational complexity
KW  - Mathematical linguistics
KW  - Modality(Logic)
KW  - Proof theory
ER  -