Reading list: LOGIC Books