Meeting of the Association for Symbolic Logic Leeds 1967