Reading list: ELEMENTS OF LOGIC