Textmeddelande: Logic for mathematicians / A. G. Hamilton.