R. Horčík
Bílková Marta, Cintula Petr, Haniková Zuzana, Horčík R., Kroupa T., Lávička Tomáš, Majer Ondrej, Moraschini Tommaso, Noguera Carles, Přenosil Adam, Sedlár Igor, Vidal Amanda
:
TACL 2017: Topology, Algebra and Categories in Logic,
(Prague, CZ, 20170626) [2017]
Download