Počet záznamů: 1  

Composition of Deductions within the Propositions-As-Types Paradigm

    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. Dostupné z: doi: 10.1007/s11787-020-00260-3.
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše