Mathematical Logic Quarterly, 0942-5616

Journal