Anti, Y., Hutajulu, A. S., Manurung, T., Simbolon, E. L., & Noviana, R. (2025). Analisis Logika Predikat dalam Pembuktian Matematika: Studi Kasus Terpilih. Journal of Education Transportation and Business, 2(2), 521–524. https://doi.org/10.57235/jetbus.v2i2.7296