Ben-Ari, Mordechai. Logika matematyczna w informatyce / Mordechai Ben-Ari ; tł. z ang. - Warszawa : Wydaw. Nauk.-Techn., 2006. - 343 s. : il. ; 24 cm. bibliogr. ISBN: 8320432219 Uniwersalna Klasyfikacja Dziesiętna: 510.6:004