Charles A. Baylis Ninth Meeting of the Association for Symbolic Logic. 30-32 1947 12 J. Symb. Log. 1 db/journals/jsyml/jsyml12.html#Baylis47