01443nam0 2200313 i 450 VAN0008105520240806100622.713978-08-17-64762-920101210r19892008 |0itac50 baengUS|||| |||||Logic for computer scientistsUwe Schoning Reprint of the 1989 editionBostonBirkhäuser2008166 p.ill.24 cm001VAN000810562001 Modern Birkhäuser classics210 Boston [etc.]BirkhäuserVAN00252811Logik für Informatiker298336203-XXMathematical logic and foundations [MSC 2020]VANC019750MFBostonVANL000051SchoningUweVANV040365543219Birkhäuser <editore>VANV108193650ITSOL20240906RICA/sebina/repository/catalogazione/documenti/Schoning - Logic for computer scientists.pdfSchoning - Logic for computer scientists.pdfVAN00081055BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 3934 08 8971 II a 20101216 BuonoBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 3934 08 8972 II b 20101216 BuonoLogik für Informatiker2983362UNICAMPANIA