Logic primer - Piñon, Manuel T. (Rex Book Store, 1979)