Usman, M.; W, W.; W, W.; Russel, E. Pelatihan Peningkatan Pemahaman Logika Dan Aplikasinya Pada Pembuktian Dalam Matematika Untuk Dosen-Dosen Ilmu Komputer Di PTS Bandar Lampung. J. Pengabdi. Masy. TAPIS BERSERI 2025, 4, 50-56.