Kleene, Stephen Cole <br/><br/>
Mathematical logic / 

 -  1967.