Logic colloquium ́77 : proceedings of the colloquium held in Wroclaw, August 1977 - Doner, John E. (rz1, 1978)