02184nam0 2200361 i 450 SUN004500820151120101600.498978-18-523-3319-50.0020060517d2001 |0engc50 baengGB|||| |||||Mathematical logic for computer scienceMordechai Ben-Ari2. edLondonSpringer2001XIV, 304 p.ill.24 cm.68QxxTheory of computing [MSC 2020]MFSUNC01994903BxxGeneral logic [MSC 2020]MFSUNC024425GBLondonSUNL000015Ben Ari, MordechaiSUNV0363155385SpringerSUNV000178650ITSOL20200921RICA/sebina/repository/catalogazione/documenti/Ben-Ari - Mathematical logic for computer science.pdfContentsSUN0045008UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0322 08 8668 I b 20091125 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0322 08 8669 I c 20091125 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0322 08 8670 I d 20091125 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS 03-XX 0322 08 5760 I a 20060915 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0322 08VS 4314 I e 20060915 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0322 08VS 4608 I f 20060517 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0322 08VS 4609 I g 20060517 Mathematical logic for computer science1020153UNICAMPANIA