Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977 by Logic Colloquium (1977 : Wrocław, Poland) Publication date 1978 Topics Logic, Symbolic and mathematical -- ...