Logic Journal of the IGPL, Volume 27

Volume 27, Number 1, February 2019

Articles
a service of Schloss Dagstuhl - Leibniz Center for Informatics