Journal of Applied Logic, Volume 24

Volume 24, Part A, November 2017

Volume 24, Part B, November 2017

maintained by Schloss Dagstuhl LZI, founded at University of Trier