Introduction to logic - Riolo, Vincent (Malta Univ. Publ., 1995)