Introduction to metamathematics - Kleene, Stephen Cole, 1909- (Groningen : Wolters-Noordhoff Pub., 1971)
p. 517-537
1
Keywords: Metamathematics