Pages that link to "Item:Q5825660"
From MaRDI portal
The following pages link to Remarks on identity and description in first-order axiom systems (Q5825660):
Displaying 5 items.
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory (Q3244103) (← links)
- Foundational aspects of theories of measurement (Q3252694) (← links)
- Notes on the theory of variable binding term operators (Q3657974) (← links)
- Equality and lyndon's interpolation theorem (Q3691642) (← links)
- Fregean Description Theory in Proof-Theoretical Setting (Q5215499) (← links)
