The work of Kurt Gödel (1976)

by S C Kleene
Venue:J. Symbolic Logic