Title: A digest of deductive logic for the use of students