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

Inhaltsangabe

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)

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.