Introductory note to 1958 and 1972, in: Godel [1990 (0)

by A S Troelstra, D van Dalen