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

Browse by Person

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

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

This list was generated on Thu May 25 23:59:13 2017 AMT.