Record:   Prev Next
作者 Beklemishev, Lev Dmitrievich, 1967-
書名 Provability, complexity, grammars / [electronic resource] Lev Beklemishev, Mati Pentus, Nikolai Vereshchagin
出版項 Providence, RI : American Mathematical Society, 1999
國際標準書號 9781470434038 (online)
book jacket
說明 1 online resource (ix, 172 p. : ill.)
系列 American Mathematical Society Translations: Series 2, 0065-9290 (print); 2472-3193 (online); v. 192
附註 Contains three doctoral dissertations in mathematical logic, mathematical linguistics, and complexity theory, translated from the Russian
Includes bibliographical references
Classification of propositional provability logics Lambek calculus and formal grammars Relativizability in complexity theory
Access is restricted to licensed institutions
Electronic reproduction. Providence, Rhode Island : American Mathematical Society. 2012
Mode of access : World Wide Web
Description based on print version record
鏈接 Print version: Beklemishev, Lev Dmitrievich, 1967- Provability, complexity, grammars / (DLC) 99020177 0065-9290 9780821810781
主題 Modality (Logic)
Proof theory
Computational complexity
Mathematical linguistics
Alt Author Pentus, Mati Reĭnovich, 1967-
Vereshchagin, Nikolai Konstantinovich, 1958-
Record:   Prev Next