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