Знание языков
Русский
English
Deutsch
Публикации
Конференция
A Hierarchy of Determinative Sequent Systems with Different Substitution Rules
Конференция
ON SOME QUANTIFIED PROPOSITIONAL SYSTEM
