Meeting of the Association for Symbolic Logic. - John C. Shepherdson; S. Korner; M. D. Gladstone (J. Symb. Log., 1964)