On algorithms, effective procedures, and their definitions
From MaRDI portal
Publication:6636853
DOI10.1093/philmat/nkad011MaRDI QIDQ6636853
Publication date: 12 November 2024
Published in: Philosophia Mathematica. Series III (Search for Journal in Brave)
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)
This page was built for publication: On algorithms, effective procedures, and their definitions