Pozice: Vědecký pracovník Oddělení: Oddělení teoretické informatiky E-mail: prenosil@cs.cas.cz Pracovna: 423 ORCID Web of Science Scopus ASEP Web: https://sites.google.com/site/adamprenosil Publikace TACL 2017: Topology, Algebra and Categories in Logic (2017) Projekty Algebraizing first-order logics (2026–2030)
