02110nam0 2200361 i 450 VAN0004500820240806100433.904978-18-523-3319-520060517d2001 |0itac50 baengGB|||| |||||Mathematical logic for computer scienceMordechai Ben-Ari2. edLondonSpringer2001XIV, 304 p.ill.24 cm03BxxGeneral logic [MSC 2020]VANC024425MF68QxxTheory of computing [MSC 2020]VANC019949MFGBLondonVANL000015Ben AriMordechaiVANV0363155385Springer <editore>VANV108073650ITSOL20240906RICA/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