Mathematical Logic - Kleene, Stephen Cole