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

Browse by Person

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

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

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

This list was generated on Tue May 22 08:09:33 2018 AMT.