Reports on Mathematical Logic