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