IfCoLog Journal of Logics and their Applications, Volume 1

Volume 1, Number 1, June 2014

maintained by Schloss Dagstuhl LZI at University of Trier