Mantik: Jurnal Matematika (Department of Mathematics, UIN Sunan Ampel Surabaya, 2018)