An addendum to “The work of Kürt Gödel (1978)

by Stephen Kleene
Venue:The Journal of Symbolic Logic