Mathematical Logic Quarterly, ‎0942-5616

Journal