Úvod do logiky pre informatikov - Dirgová Luptáková, Iveta; Kvasnička, Vladimír (Trnava : Univerzita sv. Cyrila a Metoda v Trnave, 2017)
Bibliografia: s. [218]; register: s. ]219-220]
Keywords: logika; výroková logika; predikátová logika; neurónové siete (počítačová veda); logic; propositional calculus; predicate calculus; neural networks; učebnice vysokých škôl; textbooks (higher)