Journal of Applied Logic

Journal of Applied Logic @ ScienceDirect