LEADER 01761nam0 2200349 i 450 
001 VAN0052352
005 20231214120923.555
010   $a978-08-218-1078-1
100   $a20060914d1999       |0itac50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $aProvability, complexity, grammars$fLev Beklemishev, Mati Pentus, Nikolai Vereshchagin
210   $aProvidence$cAMS$d1999
215   $aIX, 172 p.$d26 cm
410  1$1001VAN0039610$12001 $aAmerican mathematical society translations. Series 2$1210  $aProvidence$cAmerican Mathematical Society$v192
606   $a03F40$xGödel numberings and issues of incompleteness [MSC 2020]$3VANC024403$2MF
606   $a03B45$xModal logic (including the logic of norms) [MSC 2020]$3VANC024404$2MF
606   $a03B65$xLogic of natural languages [MSC 2020]$3VANC024500$2MF
606   $a68Q15$xComplexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020]$3VANC028792$2MF
620   $aUS$dProvidence$3VANL000273
700  1$aBeklemishev$bLev$3VANV041250$0726321
701  1$aPentus$bMati$3VANV041251$0726320
701  1$aVereshchagin$bNikolai K.$3VANV039922$0726421
712   $aAmerican mathematical society$3VANV108732$4650
801   $aIT$bSOL$c20231215$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Beklemishev, Pentus, Vereshchagin - Provability, complexity, grammars.pdf$zContents
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN0052352
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   0308        $e08   6965      I       20060914            
996   $aProvability, complexity, grammars$91427465
997   $aUNICAMPANIA