Remarks on identity and description in first-order axiom systems
From MaRDI portal
Publication:5825660
DOI10.2307/2267645zbMath0055.00403OpenAlexW2121417702WikidataQ114589261 ScholiaQ114589261MaRDI QIDQ5825660
Publication date: 1954
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2267645
Related Items (5)
Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory ⋮ Foundational aspects of theories of measurement ⋮ Fregean Description Theory in Proof-Theoretical Setting ⋮ Notes on the theory of variable binding term operators ⋮ Equality and lyndon's interpolation theorem
Cites Work
This page was built for publication: Remarks on identity and description in first-order axiom systems