Provability, complexity, grammars

Provability, complexity, grammars /

Saved in:
Bibliographic Details
Main Author: Beklemishev, Lev Dmitrievich, 1967-
Other Authors: Pentus, Mati Reĭnovich, 1967-, Vereshchagin, Nikolai Konstantinovich, 1958-
Format: Book
Language:English
Russian
Published: Providence, RI : American Mathematical Society, 1999.
Series:American Mathematical Society translations ; ser. 2, v. 192.
Subjects:
Modality (Logic)
Proof theory.
Computational complexity.
Mathematical linguistics.
Complexité de calcul (Informatique)
Linguistique mathématique.
Modalité (Logique)
Preuve, Théorie de la.

University Library ARS Main Stacks

Holdings details from University Library ARS Main Stacks
Call Number: QA3 .A572 ser.2, v.192
Copy 1 Available Request this item

Similar Items