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