Vyžádat soubor
Reference/citace: HRUBEŠ, Pavel. On lengths of proofs in non-classical logics. Annals of Pure and Applied Logic. 2009, 157(2-3), 194-205. ISSN 0168-0072. E-ISSN 1873-2461
Vyžádané dokumenty: Hrubes1.pdf - Vydavatelský postprint
Tento vyžádaný dokument není dostupný v režimu otevřeného přístupu (open access). Prostřednictvím níže dostupného formuláře však můžete požádat autora o kopii dokumentu. Pokud bude Vaše žádost akceptována, dokument obdržíte e-mailem.