This website uses cookies.
We use cookies to improve your online experience. By continuing to use our website we assume you agree to the placement of these cookies.
To learn more, you can find in our Privacy Policy.
doi.org/10.2307/2963594
Original paper

Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

William Craig
11
Journal of Symbolic Logic0.50
Volume: 22, Issue: 3, Pages: 269 - 285
Published: Sep 1, 1957
Paper Fields
Paper Details
Title
Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
DOI
doi.org/10.2307/2963594
Published Date
Sep 1, 1957
Journal
Journal of Symbolic Logic
Volume
22
Issue
3
Pages
269 - 285
Citation AnalysisPro
  • Scinapse’s Top 10 Citation Journals & Affiliations graph reveals the quality and authenticity of citations received by a paper.
  • Discover whether citations have been inflated due to self-citations, or if citations include institutional bias.