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