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 science1140707UNISA01143nam0 22003011i 450 UON0025030820231205103626.96420040227d1948 |0itac50 baporPT||||0 |||||Obras, 12.: A capitalEça de QueirozPorto : Lello & Irmao1948480 p.25 cmEd. do centenáriovalore stimatoIT-UONSI PortO.CQUE/012UON00372957ˆA ‰capitalPTPortoUONL001524869Letteratura portoghese21QUEIROSJosé Maria Eça : deUONV115639452752Lello & IrmãoUONV269581650QUEIROZ, José Maria Eça : deQUEIROS, José Maria Eça : deUONV188149ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00250308SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI Port O.C QUE 012 SI MR 47414/12 7 012 valore stimatoObras, 12.: A capital1738550UNIOR