Úvod do logiky pre informatikov - Kvasnička, Vladimír, 1941- (Iris, 2016)