Text this: Logic for physicists /