12� A. Heyting, �Die formalen Regeln der intuitionistischen Logik", Sitzungsber (1978)

by Logik Grundlagen Math