The Decision Problem for Effective Procedures

Nathan Salmón. The Decision Problem for Effective Procedures. Logica Universalis, 17(2):161-174, 2023. [doi]

Abstract

Abstract is missing.