Λογική και απόδειξη : - Boricic, Branislav (Ζήτη, 1995)