An edition of Provability, complexity, grammars (1999)
Provability, complexity, grammars
By Lev Dmitrievich Beklemishev
0 (0 Ratings)
1 Want to read0 Currently reading0 Have read
1 Want to read0 Currently reading0 Have read
Publish Date
1999
Publisher
American Mathematical Society
Language
eng
Pages
172
Description:
subjects: Modality (Logic), Computational complexity, Mathematical linguistics, Proof theory, Modaliteit, Bewijstheorie, Complexiteit, Berechnungskomplexität, Beweistheorie, Mathematische Linguistik, Modalität, Complexité de calcul (Informatique), Linguistique mathématique, Modalité (Logique), Preuve, Théorie de la