Über eine bisher noch nicht benutze erweitrung des finiten standpunktes (1958)

by K Gödel
Venue:Dialectica