On a Hitherto Unexploited Extension of the Finitary Standpoint (1980)

by K Gödel
Venue:VALERIA DE PAIVA