A SHORT COURSE IN LOGIC