Invia SMS: Logic for mathematicians / A. G. Hamilton.