Some facts about Kurt Gödel (1981)

by H Wang
Venue:J. Symbolic Logic