НАН РА. Математические вопросы кибернетики и вычислительной техники=Mathematical problems of computer science

Some new propositional proof systems for intuitionistic and minimal logics

Chubaryan, Anahit and Sayadyan, Sergey (2012) Some new propositional proof systems for intuitionistic and minimal logics. Математические вопросы кибернетики и вычислительной техники, № 38. pp. 44-45. ISSN 0131-4645

[img] PDF
Download (160Kb)
    Item Type: Article
    Subjects: Q Science > QA Mathematics
    Divisions: UNSPECIFIED
    Depositing User: FSL Bibl. Dept.
    Date Deposited: 15 May 2014 15:47
    Last Modified: 23 Oct 2014 14:13
    URI: http://compsci.asj-oa.am/id/eprint/401

    Actions (login required)

    View Item