Anti, Y. (2025) “Analisis Logika Predikat dalam Pembuktian Matematika: Studi Kasus Terpilih”, Journal of Education Transportation and Business, 2(2), pp. 521–524. doi: 10.57235/jetbus.v2i2.7296.