Zur Deutung der intuitionistischen Logik (1932)

by A Kolmogoroff
Venue:Math. Ztschr., Bd