Λογική και απόδειξη : θεωρία-ασκήσεις - Boricic, Branislav, 1955- (Ζήτη, 1995)