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 [Internet]. 16 Mei 2025 [dikutip 19 Agustus 2025];4(1):50-6. Tersedia pada: https://tapisberseri.ubl.ac.id/index.php/jpmtapisberseri/article/view/134