A supplement to herbrand

&
Journal of Symbolic Logic 31 (3):393-398 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270454

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Burton Dreben and John Denton. A supplement to Herbrand. The journal of symbolic logic, vol. 31 , pp. 393–398.Peter Andrews - 1967 - Journal of Symbolic Logic 32 (4):521-522.
Burton Dreben and Stål Aanderaa. Herbrand analyzing functions. Bulletin of the American Mathematical Society, vol. 70 , pp. 697–698. [REVIEW]Peter Andrews - 1968 - Journal of Symbolic Logic 32 (4):521.
Burton Dreben, Peter Andrews, and Stål Aanderaa. False lemmas in Herbrand. Bulletin of the American Mathematical Society, vol. 69 , pp. 699–706. [REVIEW]Paul Bernays - 1966 - Journal of Symbolic Logic 31 (4):657-659.
Dreben Burton S.. Solvable Surányi subclasses: an introduction to the Herbrand theory. Proceedings of a Harvard symposium on digital computers and their applications, 3-6 April 1961, The annals of the Computation Laboratory of Harvard University, vol. 31, Harvard University Press, Cambridge, Mass., 1962, pp. 32–47. [REVIEW]Peter Andrews - 1965 - Journal of Symbolic Logic 30 (3):390-391.
Dreben Burton. On the completeness of quantification theory. Proceedings of the National Academy of Sciences of the United States of America, vol. 38 , pp. 1047–1052. [REVIEW]Leon Henkin - 1953 - Journal of Symbolic Logic 18 (4):339-339.
Burton Dreben, A. S. Kahr, and Hao Wang. Classification of AEA formulas by letter atoms. Bulletin of the American Mathematical Society, vol. 68 , pp. 528–532. [REVIEW]F. C. Oglesby - 1964 - Journal of Symbolic Logic 29 (2):101.
Dreben Burton. Relation of m-valued quantificational logic to 2-valued quantificational logic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 303–304. [REVIEW]Atwell R. Turquette - 1965 - Journal of Symbolic Logic 30 (3):375-376.
Burton Dreben and Warren D. Goldfarb. The decision problem. Solvable classes of quantificational formulas. Advanced Book Program. Addison-Wesley Publishing Company, Reading, Mass., 1979, xii + 271 pp. [REVIEW]Peter B. Andrews - 1982 - Journal of Symbolic Logic 47 (2):452-453.
Reply to Burton Dreben.”.H. Putnam - 1992 - Philosophical Topics 20 (1):393-99.

Analytics

Added to PP
2009-01-28

Downloads
242 (#112,145)

6 months
13 (#197,488)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Hilbert and set theory.Burton Dreben & Akihiro Kanamori - 1997 - Synthese 110 (1):77-125.
Working foundations.Solomon Feferman - 1985 - Synthese 62 (2):229 - 254.
Guest Editor’s Introduction: JvH100. [REVIEW]Irving H. Anellis - 2012 - Logica Universalis 6 (3-4):249-267.

Add more citations

References found in this work

A Survey of Mathematical Logic.Steven Orey - 1964 - Journal of Symbolic Logic 29 (2):105-106.

Add more references