Uber eine bisher noch nichi benützte Erweiterung des finiten Standpunktes, Dialectica 12 (1958)

by K GODEL
Venue:Journal of Philosophical Logic