Kleene, S. <br/><br/>
Logique mathematique 
S. Kleene 
 - Paris  Librairie Armand Colin  1971