Понятие доказательства в контексте теоретико-типового подхода, III: доказательства как (некоторые) типы

Translated title of the contribution: THE CONCEPT OF PROOF IN THE CONTEXT OF A TYPE-THEORETIC APPROACH, III: PROOFS AS (SOME) TYPES

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'THE CONCEPT OF PROOF IN THE CONTEXT OF A TYPE-THEORETIC APPROACH, III: PROOFS AS (SOME) TYPES'. Together they form a unique fingerprint.

Arts & Humanities