Provability, Complexity, Grammars (AMERICAN MATHEMATICAL SOCIETY TRANSLATIONS SERIES 2) - Hardcover

Beklemishev, Lev Dmitrievich; Pentus, Mati Reinovich; Vereshchagin, Nikolai Konstantinovich

 
9780821810781: Provability, Complexity, Grammars (AMERICAN MATHEMATICAL SOCIETY TRANSLATIONS SERIES 2)

Synopsis

Contains English translations of three outstanding dissertations by Russian mathematicians in mathematical logic, mathematical linguistics, and complexity theory. Areas discussed include classification of propositional provability logics, Lambek calculus and formal grammars, the Chomsky hierarchy and the Lambek categorical grammars, a general framework for formulating the relativizability criteria and for analyzing their limits, and relativizable inclusions for some of the known complexity classes. No index. Annotation c. Book News, Inc., Portland, OR (booknews.com)

"synopsis" may belong to another edition of this title.

Language Notes

Text: English (translation)
Original Language: Russian

Review

Contains English translations of three outstanding dissertations by Russian mathematicians in mathematical logic, mathematical linguistics, and complexity theory. -- SciTech Book News

"About this title" may belong to another edition of this title.