Provability, complexity, grammars by Vereshchagin, Nikolai Konstantinovich, Beklemishev, Lev D., Pentus, Mati R. fromAmerican mathematical society translations. Ser. 2 0 Type: Book
