Matematička logika za ekspertne sisteme - Čubrilo, Mirko (Ciklus informatička biblioteka : IBI ;, 1989)