Provability, complexity, grammars
By: Lev Beklemishev, Mati Pentus, Nikolai Vereshchagin.
Contributors: Pentus, Mati Reĭnovich, 1967-; Vereshchagin, Nikolai Konstantinovich, 1958-
Series: American Mathematical Society translations,; ser. 2, v. 192
Publisher: American Mathematical Society
Published: 1999
Place of publication: Providence, RI
Language: eng
Number of pages: 172
Subjects: Modality (Logic); Proof theory.; Computational complexity.; Mathematical linguistics.
Notes: Includes bibliographical references.
Contains three doctoral dissertations in mathematical logic, mathematical linguistics, and complexity theory, translated from the Russian.