02644nam0 22004093i 450 SUN009349520151120101600.49820130423d2003 |0engc50 baengIT|||| |||||Bounded arithmetic and constant depth Frege proofsSamuel R. BussRoma : Aracne200321 cmEstratto da: Quaderni di matematica, n. 13 (2003), p. 153-174.Complexity of proofs [MSC 2010] 03F20MFSUNC020911Complexity of computation [MSC 2010] 03D15MFSUNC023630First-order arithmetic and fragments [MSC 2010] 03F30MFSUNC024401Cut-elimination and normal-form theorems [MSC 2010] 03F05MFSUNC024532Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2010] 68Q15MFSUNC028792RomaSUNL000360Buss, Samuel R.SUNV04287052029AracneSUNV001104650ITSOL20181109RICASUN0093495UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08 CONS Estratto / 13 08 7163 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08 CONS Estratto / 13 08 7159 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08 CONS Estratto / 13 08 7160 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08 CONS Estratto / 13 08 7161 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08 CONS Estratto / 13 08 7162 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE01207163CONS Estratto / 13caUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE01207159CONS Estratto / 13caUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE01207160CONS Estratto / 13caUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE01207161CONS Estratto / 13caUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE01207162CONS Estratto / 13caBounded arithmetic and constant depth Frege proofs1409004UNICAMPANIA01858nam0 22003371i 450 UON0014863920240110125852.12620020107d1852 |0itac50 baengGB|||| 1||||Travels in Egypt and Nubia, Syria and the Holy landicluding a journey round the Dead Sea, and through the country east of the Jordanby Charles Leonard Irby and James Manglesnew editionLondonJohn Murray1852viii, 150 p.23 cm001UON003688002001 ˆA ‰journey round the dead sea, and through the country east of the JordanEgittoDescrizioni e viaggiSec. 19.UONC032006FIPALESTINADescrizioni e viaggiUONC021753FISIRIADescrizioni e viaggiSec. 19.UONC099498FIGBLondonUONL003044RARI ARA VIII BRARI - PAESI ARABI - GEOGRAFIA E VIAGGI - VIAGGIATORIAIrbyCharles LeonardUONV089009672526ManglesJamesUONV089010672527*Murray *JohnUONV078538650ITSOL20250905RICAhttp://next.unior.it/sebina/repository/catalogazione/documenti/Mangles_Travels in Egypt and Nubia, Syria and the holy land.pdfMangles_Travels in Egypt and Nubia, Syria and the holy land_SiBA_Dig. UniorSIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIhttp://next.unior.it/sebina/repository/catalogazione/documenti/Mangles_Travels in Egypt and Nubia, Syria and the holy land.pdfUON00148639SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI RARI ARA VIII B 009 SI MR 12543 7 009 Travels in Egypt and Nubia, Syria and the holy land1276486UNIOR