Title Statements
- Full title :Provability, complexity, grammars / Lev Beklemishev, Mati Pentus, Nikolai Vereshchagin.
Edition Statements
- Publication Date:©1999
Publication Statements
- Publisher(s):American mathematical Society
- Place of Publication:Providence, Rhode Island
- Language:eng
- Publication Date:©1999
Notes
Contains three doctoral dissertations in mathematical logic, mathematical linguistics, and complexity theory, translated from the Russian.
The Physical Object
- Description:ix, 172 pages ; : 26 cm.
Edition Identifiers
- ISBN:0821810782, 9780821810781
- oclc:ocm40964733
- LC Classification:QA3
- Dewey Decimal:510 s
Table of Contents
Classification of propositional provability logics / L.D. Beklemishev -- Lambek calculus and formal grammars / Mati Pentus -- Relativizability in complexity theory / Nikolai K. Vershchagin.
Read More ↓Subjects
Writers
More from this Series
No reviews yet. Be the first to rate this work.
Related Works
more →
Algorithmen, Datenstrukturen, funktionale Programmierung: eine praktische Einführung mit Caml Lig…
Wolff von Gudenberg, Jürgen
0.0
Type: Book
Integer Programming and Combinatorial Optimization: 6th International IPCO Conference Houst…
Bixby, Robert E.
0.0
Type: Book
Integer Programming and Combinatorial Optimization
0.0
Type: Book
Rate & Review