Lev D. Beklemishev, Mati Pentus, Nikolai K. Vereshchagin. Provability, complexity, grammars. Volume 192 of American Mathematical Society translations series 2, American Mathematical Society, 1999.
@book{0014723,
title = {Provability, complexity, grammars},
author = {Lev D. Beklemishev and Mati Pentus and Nikolai K. Vereshchagin},
year = {1999},
researchr = {https://researchr.org/publication/0014723},
cites = {0},
citedby = {0},
volume = {192},
series = {American Mathematical Society translations series 2},
publisher = {American Mathematical Society},
isbn = {978-0-8218-1078-1},
}