View of Some logical issues in discrete mathematics and algorithmic thinking | Teaching Mathematics and Computer Science