UID:
almahu_9948292987902882
Umfang:
1 online resource (ix, 172 p. : ill.)
Ausgabe:
Electronic reproduction. Providence, Rhode Island : American Mathematical Society. 2012
ISBN:
9781470434038 (online)
Serie:
American Mathematical Society Translations: Series 2, v. 192
Anmerkung:
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
Weitere Ausg.:
Print version: Beklemishev, Lev Dmitrievich, 1967- Provability, complexity, grammars / ISSN 0065-9290 ISBN 9780821810781
Sprache:
Englisch
