Úvod do logiky pre informatikov - Dirgová Luptáková, Iveta; Kvasnička, Vladimír (Univerzita sv. Cyrila a Metoda v Trnave, 2017)