Знание языков
Русский
English
Deutsch
Публикации
Конференция
On some universal system for various propositional logics
2015
699
Конференция
Some notes about lower bounds for steps and sizes of proofs in Frege systems
2015
732
Конференция
Improvement of lower bounds for steps and sizes of proofs in Frege systems
2015
18-19
Конференция
On lower bounds for steps and sizes of proofs in Frege systems
2015
16-18
Монография
Rabin style speed-up of proofs
2010
50
