Reading list: Logic An Introduction, Lionel Ruby