Anti, Yurni, et al. “Analisis Logika Predikat Dalam Pembuktian Matematika: Studi Kasus Terpilih”. Journal of Education Transportation and Business, vol. 2, no. 2, Dec. 2025, pp. 521-4, doi:10.57235/jetbus.v2i2.7296.