Die formalen regeln der intuitionistischen logik. i, ii, iii (1930)

by Arendt Heyting
Venue:In Sitzungsberichte Akad