Die formalen Regeln der intuitionistischen Logik. Sitzungsberichte der Preussischen Academie der Wissenschaften, Physikalisch-Matematische Klasse (1930)

by A Heyting