Logic Colloquium '77 proceedings of the colloquium held in Wrocław, August 1977 (North Holland Pub. Co., 1978)
Includes bibliographical references