Լեզուների իմացություն
Русский
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
