Journal of Applied Logic, Volume 15

Volume 15, May 2016

maintained by Schloss Dagstuhl LZI, founded at University of Trier