Mathematical logic quarterly MLQ. (J.A. Barth, 1993)