Reading list: FORMAL SCIENCE-logic