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