01614nam0 2200325 i 450 SUN004996420160323091929.50208-218-5110-10.00N978-0-8218-5110-420060823d1990 |0engc50 baengUS|||| |||||*Logic and computationproceedings of a workshop held at Carnegie Mellon university, June 30-July 2, 1987Wilfried Sieg editorProvidenceAmerican mathematical society1990XIV, 297 p.26 cm.001SUN00431842001 Contemporary mathematics106210 ProvidenceAmerican Mathematical Society1980-.68-XXComputer science [MSC 2020]MFSUNC01967003D15Complexity of computation [MSC 2020]MFSUNC02363003BxxGeneral logic [MSC 2020]MFSUNC024425USProvidenceSUNL000273Sieg, WilfriedSUNV03930556703American mathematical societySUNV001080650ITSOL20210301RICA/sebina/repository/catalogazione/documenti/Sieg - Logic and Computation.pdfContentsSUN0049964UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 4058 08 7218 I 20080314 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 4058 08 6503 I a 20060823 DeterioratoLogic and computation1426488UNICAMPANIA