Logika dla informatyków (Wydawnictwo Wyższej Szkoły Komunikacji i ZarządzaniaM-Druk, 2006)
Jacek Cichoń, Marcin Gogolewski, Mirosław Kutyłowski.
Keywords: Logika matematyczna; Podręcznik