01687nam0 2200337 i 450 SUN005132320191219111454.874978-08-17-63453-70.0037-643-3453-320060906d1989 |0engc50 baengUS|||| |||||*Logic for computer scientistsUwe SchoningBostonBirkhäuser1989166 p.ill.24 cm.001SUN00526792001 *Progress in computer science and applied logic8210 BostonBirkhäuser1982-.03-XXMathematical logic and foundations [MSC 2020]MFSUNC01975068N17Logic programming [MSC 2020]MFSUNC02058603BxxGeneral logic [MSC 2020]MFSUNC024425BostonSUNL000051Schoning, UweSUNV040365543219BirkhäuserSUNV000319650ITSOL20200720RICA/sebina/repository/catalogazione/documenti/Schoning - Logic for computer scientists 1989.pdfContentsSUN0051323UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 3934 08DMF576 I b 20200128 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS 03-XX 3934 08DMF575 I a 20200128 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 3934 08 5609 I 20060906 DeterioratoLogic for computer scientists1420131UNICAMPANIA