Reports on mathematical logic. No. 22 (Polish Scientific Publishers, 1988)