93.185.164.21
Deductive systems with unified multiple-conclusion rules
(Логические исследования)