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