著者名 書名 版表示 出版者名 出版年 シリーズ名 番号 ISBN ISSN URL Beklemishev, Lev Dmitrievich and Pentus, Mati Reĭnovich and Vereshchagin, Nikolai Konstantinovich Provability, complexity, grammars American Mathematical Society 1999 American Mathematical Society translations ser. 2, v. 192 0821810782 https://ci.nii.ac.jp/ncid/BA41357855