Journal of Applied Logic

Journal of Applied Logic @ ScienceDirect

maintained by Schloss Dagstuhl LZI at University of Trier