Mathematical logic - Kleene, Stephen Cole (Dover books on mathematics, 2002)