Logické základy umělé inteligence. : 1. Výroková a predikátová logika. - Lukasová, Alena (Ostravská univerzita, 1995)