Reports on mathematical logic. No. 6 (Polish Scientific Publishers, 1976)