Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
Paper Details
Title
Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
Published Date
Sep 1, 1957
Journal
Volume
22
Issue
3
Pages
269 - 285
Citation AnalysisPro
You’ll need to upgrade your plan to Pro
Looking to understand the true influence of a researcher’s work across journals & affiliations?
- 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.
Notes
History