TY - BOOK AU - Ben-Ari,Mordechai TI - Logika matematyczna w informatyce SN - 8320432219 PY - 2006/// CY - Warszawa PB - Wydaw. Nauk.-Techn. N1 - bibliogr ER -