Burton Dreben

Publication Activity (10 Years)

Years Active: 1966-1997
Publications (10 Years): 0

Publications

Burton Dreben, Akihiro Kanamori
Hilbert and Set Theory. Synth. 110 (1) (1997)
Burton Dreben, James Thomson
Annual Meeting of the Association for Symbolic Logic. J. Symb. Log. 33 (4) (1968)
Burton Dreben, Hilary Putnam
The Craig interpolation lemma. Notre Dame J. Formal Log. 8 (3) (1967)
Burton Dreben, John Denton
A Supplement to Herbrand. J. Symb. Log. 31 (3) (1966)