Fundamentals of Finitary Proofs

Taneli Huuskonen. Fundamentals of Finitary Proofs. Formalized Mathematics, 32(1):213-222, 2024. [doi]

Abstract

Abstract is missing.