Meeting of the Association for Symbolic Logic. - H. A. Schmidt; K. Schutte; Ernst-Jochen Thiele; M. J. Cresswell (J. Symb. Log., 1967)