A mathematical introduction to logic - Herbert B. Enderton (Academic Press)