Mathematical logic quarterly : MLQ (Wiley-VCH, 1993)