J. de F. Teixeira, “Some remarks on the logic and epistemology of computation”, TECCOGS, nº 01, ago. 2021.