Reports on mathematical logic No. 16 (Polish Scientific Publishers, 1993)