Լեզուների իմացություն
Русский
English
Deutsch
Հրապարակումներ
Գիտաժողովի նյութ
A Hierarchy of Determinative Sequent Systems with Different Substitution Rules
Գիտաժողովի նյութ
ON SOME QUANTIFIED PROPOSITIONAL SYSTEM
