M. Usman, W. W, W. W, dan E. Russel, “Pelatihan Peningkatan Pemahaman Logika dan Aplikasinya pada Pembuktian dalam Matematika untuk Dosen-Dosen Ilmu Komputer di PTS Bandar Lampung”, J. Pengabdi. Masy. TAPIS BERSERI, vol. 4, no. 1, hlm. 50–56, Mei 2025.