Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes (1958)

by Kurt Gödel
Venue:Gödel: Collected Works