Mathematical logic - Gandy, R O (Elsevier, 2001)