Լեզուների իմացություն
Русский
English
Deutsch
Հրապարակումներ
Գիտաժողովի նյութ
Comparison of two propositional proof systems by lines and by sizes
Էլեկտրոնային նյութ
ՀԱՇՎԱՐԿԵԼԻՈՒԹՅԱՆ ԲԱՐԴՈՒԹՅԱՆ ՏԵՍՈՒԹՅԱՆ ՀԻՄՆԱԴՐՈՒՅԹՆԵՐ
Գիտաժողովի նյութ
A Hierarchy of Determinative Sequent Systems with Different Substitution Rules
Գիտաժողովի նյութ
ON SOME QUANTIFIED PROPOSITIONAL SYSTEM
