Back to Search
Start Over
On Distinguishing Proof-Theoretic Consequence from Derivability
- Source :
- Logique et Analyse; 20170630, Vol. 238 Issue: 0 p151-166, 16p
- Publication Year :
- 2017
Details
- Language :
- English
- ISSN :
- 00245836 and 22955836
- Volume :
- 238
- Issue :
- 0
- Database :
- Supplemental Index
- Journal :
- Logique et Analyse
- Publication Type :
- Periodical
- Accession number :
- ejs42752851
- Full Text :
- https://doi.org/10.2143/LEA.238.0.3212070