Provability, complexity, grammars / Lev Beklemishev, Mati Pentus, Nikolai Vereshchagin.

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, R.I. : American Mathematical Society, ©1999.
Series:	American Mathematical Society translations ; ser. 2, v. 192.
Subjects:	Modality (Logic) Proof theory. Computational complexity. Mathematical linguistics.

PASCAL Offsite

Holdings details from PASCAL Offsite
Call Number:	QA3 .A572 ser. 2, vol. 192 QA9.46
QA3 .A572 ser. 2, vol. 192 QA9.46	Available Place a Hold