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 2025, 4, 50-56.