Mathematical logic - Kleene, Stephen Cole (John Wiley, 1967)