Introduction to metamathematics - Kleene, Stephen Cole 1909- (Van Nostrand, 1950)
Copia 2, 1967