Reports on mathematical logic. No. 11 (Polish Scientific Publishers, 1981)