Mathematical logic - Kleene, Stephen Cole, 1909-1994 (John Wiley & Sons, inc., 1967)