FroCoS/TABLEAUX 2019 COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC London, UK September 2–6, 2019
Autor: | Cerrito, Serenella, Herzig, Andreas, Popescu, Andrei, Raimondi, Franco |
---|---|
Zdroj: | The Bulletin of Symbolic Logic, 2020 Sep 01. 26(3/4), 312-312. |
Databáze: | JSTOR Journals |
Externí odkaz: |