☰

Burton S. Dreben, A.M. - Publications

Affiliations: 
Philosophy Harvard University, Cambridge, MA, United States 
Area:
mathematical logic
Website:
http://en.wikipedia.org/wiki/Burton_Dreben
Tree Info Similar researchers PubMed Report error

5 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
1970 Dreben B, Denton J. Herbrand-Style Consistency Proofs Studies in Logic and the Foundations of Mathematics. 60: 419-433. DOI: 10.1016/S0049-237X(08)70768-7  0.324
1969 Dreben B, Thomson J. Annual meeting of the association for symbolic logic Journal of Symbolic Logic. 33: 636-645. DOI: 10.2307/2271434  0.314
1967 Dreben B, Putnam H. The Craig interpolation lemma. Notre Dame Journal of Formal Logic. 8: 229-233. DOI: 10.1305/Ndjfl/1093956088  0.407
1959 Dreben B. 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. DOI: 10.2307/2963831  0.357
1955 Dreben B. 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. DOI: 10.2307/2268099  0.305
Show low-probability matches.