Németh L. Zoltán and Iván Szabolcs: Logika és informatikai alkalmazásai : példatár. (2014) [Note, textbook]