LEADER 02644nam0 22004093i 450 001 SUN0093495 005 20151120101600.498 100 $a20130423d2003 |0engc50 ba 101 $aeng 102 $aIT 105 $a|||| ||||| 200 1 $aBounded arithmetic and constant depth Frege proofs$fSamuel R. Buss 205 $aRoma : Aracne$b2003 210 $d21 cm 215 $aEstratto da: Quaderni di matematica, n. 13 (2003), p. 153-174. 606 $aComplexity of proofs [MSC 2010] 03F20$2MF$3SUNC020911 606 $aComplexity of computation [MSC 2010] 03D15$2MF$3SUNC023630 606 $aFirst-order arithmetic and fragments [MSC 2010] 03F30$2MF$3SUNC024401 606 $aCut-elimination and normal-form theorems [MSC 2010] 03F05$2MF$3SUNC024532 606 $aComplexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2010] 68Q15$2MF$3SUNC028792 620 $dRoma$3SUNL000360 700 1$aBuss$b, Samuel R.$3SUNV042870$052029 712 $aAracne$3SUNV001104$4650 801 $aIT$bSOL$c20181109$gRICA 912 $aSUN0093495 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08 CONS Estratto / 13 $e08 7163 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08 CONS Estratto / 13 $e08 7159 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08 CONS Estratto / 13 $e08 7160 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08 CONS Estratto / 13 $e08 7161 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08 CONS Estratto / 13 $e08 7162 995 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$bIT-CE0120$h7163$kCONS Estratto / 13$oc$qa 995 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$bIT-CE0120$h7159$kCONS Estratto / 13$oc$qa 995 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$bIT-CE0120$h7160$kCONS Estratto / 13$oc$qa 995 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$bIT-CE0120$h7161$kCONS Estratto / 13$oc$qa 995 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$bIT-CE0120$h7162$kCONS Estratto / 13$oc$qa 996 $aBounded arithmetic and constant depth Frege proofs$91409004 997 $aUNICAMPANIA