UID:
almahu_9948292987902882
Format:
1 online resource (ix, 172 p. : ill.)
Edition:
Electronic reproduction. Providence, Rhode Island : American Mathematical Society. 2012
ISBN:
9781470434038 (online)
Series Statement:
American Mathematical Society Translations: Series 2, v. 192
Note:
Contains three doctoral dissertations in mathematical logic, mathematical linguistics, and complexity theory, translated from the Russian.
,
Classification of propositional provability logics
,
Lambek calculus and formal grammars
,
Relativizability in complexity theory
,
Mode of access : World Wide Web
Additional Edition:
Print version: Beklemishev, Lev Dmitrievich, 1967- Provability, complexity, grammars / ISSN 0065-9290 ISBN 9780821810781
Language:
English