Language skills
Русский
English
Deutsch
Publications
Conference
A Hierarchy of Determinative Sequent Systems with Different Substitution Rules
Conference
ON SOME QUANTIFIED PROPOSITIONAL SYSTEM