01641nam0 2200361 i 450 VAN0004996420260303104335.45008-218-5110-1N978082185110420060823d1990 |0itac50 baengUS|||| |||||i e nncLogic and computationproceedings of a workshop held at Carnegie Mellon university, June 30-July 2, 1987Wilfried Sieg editorProvidenceAmerican mathematical society1990XIV, 297 p.26 cm001VAN000431842001 Contemporary mathematics210 ProvidenceAmerican Mathematical Society10603BxxGeneral logic [MSC 2020]VANC024425MF03D15Complexity of computation [MSC 2020]VANC023630MF68-XXComputer science [MSC 2020]VANC019670MFUSProvidenceVANL000273SiegWilfriedVANV03930534056703American mathematical societyVANV108732650ITSOL20260306RICA/sebina/repository/catalogazione/documenti/Sieg - Logic and Computation.pdfContentsVAN00049964BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 4058 08 7218 I 20080314 BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 4058-I a 08 6503 det 20060823 DeterioratoLogic and computation1426488UNICAMPANIA