01314nam2-2200397li-450 99000022826020331620180312154701.00-13-564139-X0022826USA010022826(ALEPH)000022826USA01002282620001109d1993----km-y0itay0103----baengUSMathematical logic for computer scienceM. Ben-AriNew York [etc.]Prentice Hallcopyr. 1993XI, 305 p.ill.24 cmPrentice Hall international seriesin computer science000100228042001Prentice Hall international seriesin computer sciencelogica matematicalogica simbolica5113Logica simbolica (Logica matematica)Ben_Ari,M.5385Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000228260203316001.6 SCS (20)0017394001.600105313BKSCI1995090520001110USA011714ALANDI9020010219USA01161120020403USA011631PATRY9020040406USA011616Mathematical logic for computer science1020153UNISA