Anti, Y.; Hutajulu, A. S.; Manurung, T.; Simbolon, E. L.; Noviana, R. Analisis Logika Predikat Dalam Pembuktian Matematika: Studi Kasus Terpilih. Journal of Education Transportation and Business 2025, 2, 521-524.