Back to Search
Start Over
CHAPTER X. PROOF THEORY AND DECIDABILITY
- Source :
- Entailment, Vol. II: The Logic of Relevance and Necessity
- Publication Year :
- 2017
- Publisher :
- Princeton University Press, 2017.
Details
- Database :
- OpenAIRE
- Journal :
- Entailment, Vol. II: The Logic of Relevance and Necessity
- Accession number :
- edsair.doi...........96095fa43e6ca5542a6b5d42ca434f3f
- Full Text :
- https://doi.org/10.1515/9781400887071-009