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