The Concept of Proof in the Context of a Type-Theoretic Approach, III: Proofs as (Some) Types
-
Published:2020-10-01
Issue:57
Volume:
Page:25-32
-
ISSN:1998-863X
-
Container-title:Vestnik Tomskogo gosudarstvennogo universiteta. Filosofiya, sotsiologiya, politologiya
-
language:
-
Short-container-title:Tomsk State University Journal of Philosophy, Sociology and Political Science
Publisher
Tomsk State University