Mathematical logic.
Kleene, Stephen Cole.
New York; London, 
1967.