Sign In

Login

Password

Forgot Password ? Sign Up

헤이팅 대수 (Korean Wikipedia)

Analysis of information sources in references of the Wikipedia article "헤이팅 대수" in Korean language version.

refsWebsite
Global rank Korean rank
3zbmath.org
1,923rd place
99th place

zbmath.org

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