Archive for Mathematical Logic Journal uri icon