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