Logika matematyczna w informatyce - Ben-Ari, M. (1948- ); Miłkowska, Mirosława. Tł. (Warszawa Wydawnictwa Naukowo-Techniczne, 2005)
Bibliogr. s. 333-335. Indeks. - Tyt. oryg.: "Mathematical logic for computer science" 2001
Keywords: Logika matematyczna -- podręcznik akademicki