Provability, complexity, grammars - Beklemishev Lev; Pentus Mati; Vereshchagin Nikolai (Providence AMS, 1999)
Keywords: Computational complexity; Mathematical linguistics; Modality(Logic); Proof theory