Знание языков
Русский
English
Deutsch
Публикации
Электронный материал
ՀԱՇՎԱՐԿԵԼԻՈՒԹՅԱՆ ԲԱՐԴՈՒԹՅԱՆ ՏԵՍՈՒԹՅԱՆ ՀԻՄՆԱԴՐՈՒՅԹՆԵՐ
Конференция
A Hierarchy of Determinative Sequent Systems with Different Substitution Rules
Конференция
ON SOME QUANTIFIED PROPOSITIONAL SYSTEM
