Goenawan, Stephanus Ivan. 2020. “Order Theory I and II As Foundations for Finding Relationship Between Formulas”. Engineering, MAthematics and Computer Science Journal (EMACS) 2 (1):1-4. https://doi.org/10.21512/emacsjournal.v2i1.5804.