Meeting of the Association for Symbolic Logic. - E. J. Lemmon; M. A. E. Dummett; John N. Crossley (J. Symb. Log., 1963)