Pertemuan 3 (kalkulus Proposisi) - atin, Sufa (2020)