Úvod do logiky pre informatikov

• Main Author: Kvasnička, Vladimír, 1941- (Author)
• Format: Book
• Language: Slovak
• Published: [Bratislava] : Iris, 2016
• Edition: Prvé vydanie
• Subjects: logika; predikátová logika; výroková logika; logická sémantika; informatika; logic; predicate calculus; propositional calculus; logical semantics; informatics; monografie; monographs
• ISBN: 9788081530593
• Physical Description: 190 stran : ilustrace ; 29 cm