ENGLISH

Provability, Complexity, Grammars

By Lev Beklemishev , Mati Pentus , Nikolai Vereschagin

Book information

Publisher
American Mathematical Society
Year
1999
ISBN
0821810782, 9780821810781
Language
english
Format
DJVU
Filesize
2 MB (2479646 bytes)
Series
American Mathematical Society translations, Series 2, Volume 192
Pages
183\183
Topic
Mathematics Logic
DPI
600
Orientation
portrait
Paginated
no
Scanned
yes
Time added
2015-04-17 20:45:08

Description

Contains three doctoral dissertations in mathematical logic, mathematical linguistics, and complexity theory, translated from the Russian: Lev Beklemishev - Classification of Propositional Provability Logics (PhD Thesis, 1992) Mati Pentus - Lambek Calculus and Formal Grammars (PhD Thesis, 1996) Nikolai Vershchagin - Relativizability in Complexity Theory (Habilit. Thesis, 1995)

Similar books