Vyžádat soubor
Reference/citace: CINTULA, Petr, DIACONESCU, D., METCALFE, G. Skolemization and Herbrand Theorems for Lattice-Valued Logics. In: LATD 2018. Proceedings. Bern: University of Bern, 2018, s. 58-59.
Vyžádané dokumenty: LATD2018.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.