Journals associated with the name Journal of Applied Logic: Towards Computer Aided Mathematics Systems: