Usman M, W W, W W, Russel E. Training to Improve Understanding of Logic and Its Application to Proof in Mathematics for Computer Science Lecturers at PTS Bandar Lampung. J. Pengabdi. Masy. TAPIS BERSERI [Internet]. 2025 May 16 [cited 2026 Jan. 9];4(1):50-6. Available from: https://tapisberseri.ubl.ac.id/index.php/jpmtapisberseri/article/view/134