Mathematical logic - Kleene, Stephen Cole 1909- (Dover Publications, Inc., 1967)