|
" Provability, complexity, grammars "
Lev Beklemishev, Mati Pentus, Nikolai Vereshchagin.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
568503
|
| Doc. No
|
:
|
b397722
|
| Main Entry
|
:
|
Beklemishev, Lev Dmitrievich,1967-
|
| Title & Author
|
:
|
Provability, complexity, grammars\ Lev Beklemishev, Mati Pentus, Nikolai Vereshchagin.
|
| Publication Statement
|
:
|
Providence, RI :: American Mathematical Society,, 1999.
|
| Series Statement
|
:
|
American Mathematical Society translations,; ser. 2, v. 192
|
| ISBN
|
:
|
0821810782
|
| Notes
|
:
|
Contains three doctoral dissertations in mathematical logic, mathematical linguistics, and complexity theory, translated from the Russian.
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references.
|
| Subject
|
:
|
Modality (Logic)
|
| Subject
|
:
|
Proof theory.
|
| Subject
|
:
|
Computational complexity.
|
| Subject
|
:
|
Mathematical linguistics.
|
| Added Entry
|
:
|
Pentus, Mati Reĭnovich,1967-
|
|
|
:
|
Vereshchagin, Nikolai Konstantinovich,1958-
|
| Added Entry
|
:
|
American Mathematical Society
|
| |