Author: Bristol, Eng., 1973. Logic Colloquium