Introduction to metamathematics - Kleene, Stephen Cole, 1909-1994. (Amsterdam : North-Holland Pub. Co. : Groningen : P. Noordhoff N.V., 1959)
Includes index.
Bibliography: p. 517-537.
Keywords: Metamathematics