Alan Rose An Extension of Computational Logic. 32-34 1952 17 J. Symb. Log. 1 db/journals/jsyml/jsyml17.html#Rose52