Burton S. Dreben, A.M.
Affiliations: | Philosophy | Harvard University, Cambridge, MA, United States |
Area:
mathematical logicWebsite:
http://en.wikipedia.org/wiki/Burton_DrebenGoogle:
"Burton S. Dreben"Bio:
(1927 - 1999)
http://www.genealogy.math.ndsu.nodak.edu/id.php?id=13718
Children
Sign in to add trainee| Hannah Ginsborg | grad student | ||
| Charles Parsons | grad student | Harvard | |
| T.M. Scanlon | grad student | Harvard | |
| Margaret Dauler Wilson | grad student | ||
| Harry R. Lewis | grad student | 1974 | Harvard (MathTree) |
| Warren D. Goldfarb | grad student | 1975 | Harvard |
| Miriam Solomon | grad student | 1986 | Harvard |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Dreben B, Denton J. (1970) Herbrand-Style Consistency Proofs Studies in Logic and the Foundations of Mathematics. 60: 419-433 |
| Dreben B, Thomson J. (1969) Annual meeting of the association for symbolic logic Journal of Symbolic Logic. 33: 636-645 |
| Dreben B, Putnam H. (1967) The Craig interpolation lemma. Notre Dame Journal of Formal Logic. 8: 229-233 |
| Dreben B. (1959) Craig William. Linear reasoning. A new form of the Herbrand-Gentzen theorem. The journal of symbolic logic , vol. 22 (1957), pp. 250–268. Craig William. Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. The journal of symbolic logic , vol. 22 (1957), pp. 269–285. Journal of Symbolic Logic. 24: 243-244 |
| Dreben B. (1955) Myhill John. A finitary metalanguage for extended basic logic. The journal of symbolic logic , vol. 17 (1952), pp. 164–178. Journal of Symbolic Logic. 20: 81-81 |