دانلود کتاب Provability, Complexity, Grammars
by Lev Beklemishev, Mati Pentus, Nikolai Vereschagin
|
عنوان فارسی: اثبات پذیری، پیچیدگی، گرامر |
دانلود کتاب
جزییات کتاب
Lev Beklemishev - Classification of Propositional Provability Logics (PhD Thesis, 1992)
Mati Pentus - Lambek Calculus and Formal Grammars (PhD Thesis, 1996)
Nikolai Vershchagin - Relativizability in Complexity Theory (Habilit. Thesis, 1995)