Знание языков
Русский
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
