On a hitherto unutilized extension of the finitary standpoint (1958)

by K Gödel
Venue:Go,86-03