Reports on mathematical logic (Polish Scientific Publishers, 1973)