Амбарцумян Aрсен A.

Публикации в базе данных Math-Net.Ru

1. On non-monotonous properties of some classical and nonclassical propositional proof systems
   
   Уч. записки ЕГУ, сер. Физика и Математика, 54:3 (2020),  127–136