Report copyright - Paradoxes and Failures of Cut - David Ripleydavewripley.rocks/papers/pafc.pdf140 David Ripley there, ST—despite its classical-logic-based proof theory—enjoys a model theory based
Please pass captcha verification before submit form