Die formalen regeln der intuitionistischen logik (1930)

by A Heyting