APOS analysis on cognitive process in mathematical proving activities - Syamsuri, Syamsuri (Universitas Islam Negeri Maulana Malik Ibrahim, 2018)