Ontological purity for Formal Proofs

Robin Martinot. Ontological purity for Formal Proofs. Rew. Symb. Logic, 17(2):395-434, 2024. [doi]

Abstract

Abstract is missing.