Number of the records: 1  

Composition of Deductions within the Propositions-As-Types Paradigm

  1. 1.
    Pezlar, I. Composition of Deductions within the Propositions-As-Types Paradigm. Logica Universalis. 2020, 14(4), 481-493. ISSN 1661-8297. E-ISSN 1661-8300. Available: doi: 10.1007/s11787-020-00260-3.
Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.