![](/img/cover-not-exists.png)
PROOF-THEORETIC STRENGTHS OF WEAK THEORIES FOR POSITIVE INDUCTIVE DEFINITIONS
ARAI, TOSHIYASUVolume:
83
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.1017/jsl.2018.36
Date:
September, 2018
File:
PDF, 273 KB
english, 2018