A Supplement to Herbrand. - Burton Dreben; John Denton (J. Symb. Log., 1966)

The Craig interpolation lemma. - Burton Dreben; Hilary Putnam (Notre Dame J. Formal Log., 1967)

Annual Meeting of the Association for Symbolic Logic. - Burton Dreben; James Thomson (J. Symb. Log., 1968)

Hilbert and Set Theory. - Burton Dreben; Akihiro Kanamori (Synth., 1997)