Y. Anti, A. S. Hutajulu, T. Manurung, E. L. Simbolon, and R. Noviana, “Analisis Logika Predikat dalam Pembuktian Matematika: Studi Kasus Terpilih”, Journal of Education Transportation and Business, vol. 2, no. 2, pp. 521–524, Dec. 2025.