Anti, Y. et al. 2025. Analisis Logika Predikat dalam Pembuktian Matematika: Studi Kasus Terpilih. Journal of Education Transportation and Business. 2, 2 (Dec. 2025), 521–524. DOI:https://doi.org/10.57235/jetbus.v2i2.7296.