Úvod do logiky pre informatikov - Kvasnička, Vladimír, 1941- (Iris, 2016)
Keywords: logika; predikátová logika; výroková logika; logická sémantika; informatika; logic; predicate calculus; propositional calculus; logical semantics; informatics; monografie; monographs