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

by K Gödel
Venue:Dialectica