

An edition of Provability, complexity, grammars (1999)
By Lev Dmitrievich Beklemishev
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