Provability, complexity, grammars Lev Beklemishev, Mati Pentus, Nikolai Vereshchagin. Translations Series 2 192.

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

ISBN 10: 0821810782 / ISBN 13: 9780821810781

Editore: Providence, American Mathematical Society, 1999

Riguardo questo articolo

Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 00A10 AME Ser.2/vol.192 9780821810781 Sprache: Englisch Gewicht in Gramm: 550.

Codice articolo 2503376

Dati bibliografici

• Titolo: Provability, complexity, grammars Lev Beklemishev, Mati Pentus, Nikolai Vereshchagin. Translations Series 2 192.
• Editore: Providence, American Mathematical Society
• Data di pubblicazione: 1999
• Lingua: Inglese
• ISBN 10: 0821810782
• ISBN 13: 9780821810781
• Rilegatura: Hardcover
• Peso: 550 grammi
• Cataloghi dei venditori:
  • SA MATHEMATIK

Descrizione articolo

Riassunto

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)

Product Description

Book by Beklemishev Lev Dmitrievich Pentus Mati Reinovich