Mathematical logic - Kleene, Stephen Cole (1967)