Aljabar Heyting (Indonesian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Aljabar Heyting" in Indonesian language version.

refsWebsite

Global rank Indonesian rank

2^nd place

4^th place

3,863^rd place

low place

3^rd place

6^th place

102^nd place

411^th place

low place

books.google.com

A. G. Kusraev; Samson Semenovich Kutateladze (1999). Boolean valued analysis. Springer. hlm. 12. ISBN 978-0-7923-5921-0.
Thomas Scott Blyth (2005). Lattices and ordered algebraic structures. Springer. hlm. 151. ISBN 978-1-85233-905-0.

Georgescu, G. (2006). "N-Valued Logics and Łukasiewicz–Moisil Algebras". Axiomathes. 16: 123. doi:10.1007/s10516-005-4145-6., Theorem 3.6
Statman, R. (1979). "Intuitionistic propositional logic is polynomial-space complete". Theoretical Comput. Sci. 9: 67–72. doi:10.1016/0304-3975(79)90006-9. hdl:2027.42/23534.
Cook, S.A. (1971). "The complexity of theorem proving procedures". hlm. 151–158. doi:10.1145/800157.805047.

Iorgulescu, A.: Hubungan antara aljabar-MV_n dan n-nilai aljabar Łukasiewicz–Moisil—I. Matematika Diskrit. 181, 155–177 (1998) DOI:10.1016/S0012-365X(97)00052-6

Statman, R. (1979). "Intuitionistic propositional logic is polynomial-space complete". Theoretical Comput. Sci. 9: 67–72. doi:10.1016/0304-3975(79)90006-9. hdl:2027.42/23534.