ՀՀ ԳԱԱ Զեկույցներ =Reports NAS RA

Browse by Person

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Number of items: 3.

Саядян, С. М. and Чубарян, А. А. (2018) O свойстве немонотонности некоторых систем выводов классического исчисления высказываний. ՀՀ ԳԱԱ Զեկույցներ, 118 (1). pp. 20-25. ISSN 0321-1339

Зограбян, Г. М. and Саядян, С. М. and Чубарян, А. А. (2019) Исследование свойства монотонности некоторых пропозициональных систем выводов классической и неклассических логик. ՀՍՍՀ ԳԱ Զեկույցներ, 119 (1). pp. 33-39. ISSN 0321-1339

Саядян, С. М. and Чубарян, Анаит А. (2013) О некоторых системах доказательств для интуиционистской и минимальной пропозициональных логик. ՀՀ ԳԱԱ Զեկույցներ, 113 (1). pp. 13-21. ISSN 0321-1339

This list was generated on Sun Dec 8 19:18:03 2019 AMT.