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