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

О конструктивной истинности суждений и некоторых нетрадиционных системах конструктивной логики

Заславский, И. Д. (1975) О конструктивной истинности суждений и некоторых нетрадиционных системах конструктивной логики. Математические вопросы кибернетики и вычислительной техники, № 8. pp. 97-154.

[img]
Preview
PDF
Download (7Mb) | Preview
    Item Type: Article
    Additional Information: Դատողությունների կոնստրուկտիվ ճշմարտության և կոնստրուկտիվ տրամաբանության ոչ ավանդական որոշ համակարգերի մասին։
    Uncontrolled Keywords: Զասկավսկի Ի. Դ.
    Subjects: Q Science > QA Mathematics
    Divisions: UNSPECIFIED
    Depositing User: FSL Bibl. Dept.
    Date Deposited: 18 Apr 2014 14:57
    Last Modified: 29 Jul 2014 11:30
    URI: http://compsci.asj-oa.am/id/eprint/92

    Actions (login required)

    View Item