IfCoLog Journal of Logics and their Applications, Volume 3

Volume 3, Number 1, May 2016

Volume 3, Number 2, August 2016

Volume 3, Number 3, September 2016

Volume 3, Number 4, October 2016

Volume 3, Number 5, December 2016

a service of Schloss Dagstuhl - Leibniz Center for Informatics