Return to Article Details Mordechai Ben-Ari, Logika matematyczna w informatyce [orig. Mathematical Logic for Computer Science], transl. from Eng. by M. Miłkowska, Warszawa: Wydawnictwa Naukowo-Techniczne 2005, pp. 343. Series: Klasyka Informatyki. ISBN 83-204-2972-2 Download Download PDF