Pages that link to "Item:Q2500813"
From MaRDI portal
The following pages link to Proof-theoretic semantics for classical mathematics (Q2500813):
Displaying 6 items.
- Validity concepts in proof-theoretic semantics (Q2500820) (← links)
- Classical BI: Its Semantics and Proof Theory (Q3575307) (← links)
- (Q3654060) (← links)
- (Q4370352) (← links)
- Proof Nets for Classical Logic (Q4444939) (← links)
- Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections (Q5253927) (← links)