Heyting, A. (1930). “Die formalen Regeln der intuitionistischen Logik I”. 《Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften zu Berlin》: 42–56. JFM56.0823.01.
Heyting, A. (1930). “Die formalen Regeln der intuitionistischen Logik II”. 《Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften zu Berlin》: 57–71. JFM56.0823.01.
Heyting, A. (1930). “Die formalen Regeln der intuitionistischen Logik III”. 《Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften zu Berlin》: 158–169. JFM56.0823.01.