직관 논리 (Korean Wikipedia)

Analysis of information sources in references of the Wikipedia article "직관 논리" in Korean language version.

refsWebsite

Global rank Korean rank

451^st place

121^st place

2^nd place

3^rd place

1,923^rd place

99^th place

26^th place

70^th place

5^th place

11^th place

ams.org

Rieger, L. (1949). “On the lattice theory of Brouwerian propositional logics”. 《Spisy vydávané Přírodovědeckou fakultou University Karlovy》 (영어) 189: 1–40. MR 0040245.
Nishimura, Iwao (1960년 12월). “On Formulas of One Variable in Intuitionistic Propositional Calculus”. 《The Journal of Symbolic Logic》 (영어) 25 (4): 327-331. doi:10.2307/2963526. JSTOR 2963526. MR 142456. Zbl 0108.00302.

doi.org

dx.doi.org

Nishimura, Iwao (1960년 12월). “On Formulas of One Variable in Intuitionistic Propositional Calculus”. 《The Journal of Symbolic Logic》 (영어) 25 (4): 327-331. doi:10.2307/2963526. JSTOR 2963526. MR 142456. Zbl 0108.00302.
Mac Lane, Saunders; Ieke Moerdijk (1992). 《Sheaves in geometry and logic: a first introduction to topos theory》. Universitext (영어). Springer. doi:10.1007/978-1-4612-0927-0. ISBN 978-0-387-97710-2. ISSN 0172-5939. Zbl 0822.18001.

jstor.org

Nishimura, Iwao (1960년 12월). “On Formulas of One Variable in Intuitionistic Propositional Calculus”. 《The Journal of Symbolic Logic》 (영어) 25 (4): 327-331. doi:10.2307/2963526. JSTOR 2963526. MR 142456. Zbl 0108.00302.

worldcat.org

Mac Lane, Saunders; Ieke Moerdijk (1992). 《Sheaves in geometry and logic: a first introduction to topos theory》. Universitext (영어). Springer. doi:10.1007/978-1-4612-0927-0. ISBN 978-0-387-97710-2. ISSN 0172-5939. Zbl 0822.18001.

zbmath.org

Nishimura, Iwao (1960년 12월). “On Formulas of One Variable in Intuitionistic Propositional Calculus”. 《The Journal of Symbolic Logic》 (영어) 25 (4): 327-331. doi:10.2307/2963526. JSTOR 2963526. MR 142456. Zbl 0108.00302.
Mac Lane, Saunders; Ieke Moerdijk (1992). 《Sheaves in geometry and logic: a first introduction to topos theory》. Universitext (영어). Springer. doi:10.1007/978-1-4612-0927-0. ISBN 978-0-387-97710-2. ISSN 0172-5939. Zbl 0822.18001.