Mantik: Jurnal Matematika | Department of Mathematics, UIN Sunan Ampel Surabaya