LOGIQUE MATHEMATIQUE par STEPHEN C. KLEENE , 1971