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