01157nam--2200385---450-99000368257020331620120808162423.09788874883738000368257USA01000368257(ALEPH)000368257USA0100036825720120808d2010----km-y0itay50------baengIT||||||||001yyMathematical logic for computer sciencean introductionDino Mandrioli, paola SpoletiniBolognaEsculapio201079 p.24 cmProgetto Leonardo2001Progetto LeonardoInformaticaModelli matematiciBNCFLogica matematicaBNCF004.0151MANDRIOLI,Dino8757SPOLETINI,Paola517406ITsalbcISBD990003682570203316004.0151 MAN39628 CBA00400335649BKSCIANGELA9020120808USA011623ANGELA9020120808USA011624Mathematical logic for computer science1140707UNISA