Reading list: logic book