Formální logika v umělé inteligenci - Lukasová, Alena, 1936- (Computer Press, 2003)
Keywords: formální logika