Introduction to metamathematics - Kleene, Stephen Cole 1909- (The university series in higher mathematics, 1950)