01180nam0 2200289 i 450 SUN005541020160331102532.92205-216-5602-80.0020061107d2000 |0engc50 baengGB|||| |||||*Logic in computer sciencemodelling and reasoning about systemsMichael Huth, Mark RyanCambridgeCambridge University2000XVIII, 387 p.26 cm.68-XXComputer science [MSC 2020]MFSUNC01967003-XXMathematical logic and foundations [MSC 2020]MFSUNC019750CambridgeSUNL000024Huth, MichaelSUNV043912725924Ryan, MarkSUNV043913Cambridge universitySUNV000097650ITSOL20200720RICAhttp://books.google.it/books?id=zAchdqsWkL0C&printsec=frontcover&hl=itSUN0055410UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2003 08 6569 I 20061107 Logic in computer science1424854UNICAMPANIA00968nam a22002651i 450099100298823970753620040504132639.0040624s1995 it a||||||||||||||||ita 8872281423b1300752x-39ule_instARCHE-096520ExLDip.to Beni CulturaliitaA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.748Sternini, Mara441362La fenice di sabbia :storia e tecnologia del vetro antico /Mara SterniniBari :Edipuglia,1995217 p. :ill. ;30 cmBibliotheca archaeologica ;2VetroStoria.b1300752x02-04-1412-07-04991002988239707536LE001 AR VI 84 412001000118915le001C. 1-E0.00-l- 02020.i1361811812-07-04Fenice di sabbia282314UNISALENTOle00112-07-04ma -itait 31