Mathematical logic - Kleene, Stephen Cole 1909- (Wiley, 1967)