Vyžádat soubor

Reference/citace:  CHVALOVSKÝ, Karel, HORČÍK, Rostislav. Full Lambek Calculus with Contraction is Undecidable. Journal of Symbolic Logic. 2016, 81(2), 524-540. ISSN 0022-4812. E-ISSN 1943-5886
Vyžádané dokumenty:  a0442807.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.