Matematička logika za ekspertne sisteme - Čubrilo, Mirko (Ciklus Informatička biblioteka-IBI., 1989)