02108nam0 2200361 i 450 VAN004500820231123114411.122978-18-523-3319-520060517d2001 |0itac50 baengGB|||| |||||Mathematical logic for computer scienceMordechai Ben-Ari2. edLondonSpringer2001XIV, 304 p.ill.24 cm68QxxTheory of computing [MSC 2020]VANC019949MF03BxxGeneral logic [MSC 2020]VANC024425MFGBLondonVANL000015Ben AriMordechaiVANV0363155385Springer <editore>VANV108073650ITSOL20240614RICA/sebina/repository/catalogazione/documenti/Ben-Ari - Mathematical logic for computer science.pdfContentsVAN0045008BIBLIOTECA 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