Pages that link to "Item:Q1840142"
From MaRDI portal
The following pages link to Untersuchungen über das logische Schliessen. I (Q1840142):
Displaying 7 items.
- General-elimination stability (Q526738) (← links)
- On the elimination of quantifier-free cuts (Q650922) (← links)
- Meaning and dialogue coherence: A proof-theoretic investigation (Q1006473) (← links)
- A survey of multiple contractions (Q1314509) (← links)
- On argumentation logic and propositional logic (Q1743995) (← links)
- Streams and strings in formal proofs. (Q1853510) (← links)
- Structural Focalization (Q2946730) (← links)
