01372nam0 2200301 i 450 SUN008105520191219110637.578978-08-17-64762-90.0020101210d2008 |0engc50 baengUS|||| |||||*Logic for computer scientistsUwe Schoning Reprint of the 1989 editionBostonBirkhäuser2008166 p.ill.24 cm.001SUN00810562001 *Modern Birkhäuser classics210 BostonBirkhäuser1980-.03-XXMathematical logic and foundations [MSC 2020]MFSUNC019750BostonSUNL000051Schoning, UweSUNV040365543219BirkhäuserSUNV000319650ITSOL20200720RICA/sebina/repository/catalogazione/documenti/Schoning - Logic for computer scientists.pdfContentsSUN0081055UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 3934 08 8971 II a 20101216 BuonoUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 3934 08 8972 II b 20101216 BuonoLogic for computer scientists1420131UNICAMPANIA