01570nam0 2200325 i 450 VAN004996420231127020752.62608-218-5110-1N978082185110420060823d1990 |0itac50 baengUS|||| |||||Logic and computationproceedings of a workshop held at Carnegie Mellon university, June 30-July 2, 1987Wilfried Sieg editorProvidenceAmerican mathematical society1990XIV, 297 p.26 cm001VAN00431842001 Contemporary mathematics210 ProvidenceAmerican Mathematical Society10668-XXComputer science [MSC 2020]VANC019670MF03D15Complexity of computation [MSC 2020]VANC023630MF03BxxGeneral logic [MSC 2020]VANC024425MFUSProvidenceVANL000273SiegWilfriedVANV03930556703American mathematical societyVANV108732650ITSOL20231201RICA/sebina/repository/catalogazione/documenti/Sieg - Logic and Computation.pdfContentsVAN0049964BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 4058 08 6503 I a 20060823 DeterioratoBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 4058 08 7218 I 20080314 Logic and computation1426488UNICAMPANIA