Matematička logika za ekspertne sisteme - Čubrilo, Mirko (Informator, 1989)