01761nam0 2200349 i 450 VAN005235220231214120923.555978-08-218-1078-120060914d1999 |0itac50 baengUS|||| |||||Provability, complexity, grammarsLev Beklemishev, Mati Pentus, Nikolai VereshchaginProvidenceAMS1999IX, 172 p.26 cm001VAN00396102001 American mathematical society translations. Series 2210 ProvidenceAmerican Mathematical Society19203F40Gödel numberings and issues of incompleteness [MSC 2020]VANC024403MF03B45Modal logic (including the logic of norms) [MSC 2020]VANC024404MF03B65Logic of natural languages [MSC 2020]VANC024500MF68Q15Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020]VANC028792MFUSProvidenceVANL000273BeklemishevLevVANV041250726321PentusMatiVANV041251726320VereshchaginNikolai K.VANV039922726421American mathematical societyVANV108732650ITSOL20231215RICA/sebina/repository/catalogazione/documenti/Beklemishev, Pentus, Vereshchagin - Provability, complexity, grammars.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0052352BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0308 08 6965 I 20060914 Provability, complexity, grammars1427465UNICAMPANIA