01710nam0 2200337 i 450 SUN005235220160516120941.868978-08-218-1078-10.0020060914d1999 |0engc50 baengUS|||| |||||*Provability, complexity, grammarsLev Beklemishev, Mati Pentus, Nikolai VereshchaginProvidenceAMS1999IX, 172 p.26 cm.001SUN00396102001 *American mathematical society translationsSeries 2192210 ProvidenceAmerican Mathematical Society1949-.03F40Gödel numberings and issues of incompleteness [MSC 2020]MFSUNC02440303B45Modal logic (including the logic of norms) [MSC 2020]MFSUNC02440403B65Logic of natural languages [MSC 2020]MFSUNC02450068Q15Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020]MFSUNC028792USProvidenceSUNL000273Beklemishev, LevSUNV041250726321Vereshchagin, Nikolai K.SUNV039922726421Pentus, MatiSUNV041251726320American mathematical societySUNV001080650ITSOL20201005RICA/sebina/repository/catalogazione/documenti/Beklemishev, Pentus, Vereshchagin - Provability, complexity, grammars.pdfContentsSUN0052352UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0308 08 6965 I 20060914 Provability, complexity, grammars1427465UNICAMPANIA