02173nam0 2200397 i 450 VAN0004500820260211015822.983978-18-523-3319-520060517d2001 |0itac50 baengGB|||| |||||i e nncMathematical logic for computer scienceMordechai Ben-Ari2. edLondonSpringer2001XIV, 304 p.ill.24 cm03BxxGeneral logic [MSC 2020]VANC024425MF68QxxTheory of computing [MSC 2020]VANC019949MFGBLondonVANL000015Ben AriMordechaiVANV0363155385Springer <editore>VANV108073650ITSOL20260213RICA/sebina/repository/catalogazione/documenti/Ben-Ari - Mathematical logic for computer science.pdfContentsVAN00045008BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS 03-XX 0322 08 5760 I a 20060915 BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0322 08 8669 I c 20091125 BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0322 08 8670 I d 20091125 BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0322 08 8668 I b 20091125 BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0322 08VS 4314 I e 20060915 BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0322 08VS 4608 I f 20060517 BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0322 08VS 4609 I g 20060517 Mathematical logic for computer science1020153UNICAMPANIA