Introduction to metamathematics - Kleene, Stephen Cole, 1909- (Amsterdam : North-Holland Publishing Co., 1971)
1
Keywords: Metamathematics