Logique mathématique - Kleene, Stephen Cole 1909-1994 (Colin, 1971)