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