PROOF-THEORETIC STRENGTHS OF WEAK THEORIES FOR POSITIVE...

Journal of Symbolic Logic 2018 / 09 Vol. 83; Iss. 3

PROOF-THEORETIC STRENGTHS OF WEAK THEORIES FOR POSITIVE INDUCTIVE DEFINITIONS

ARAI, TOSHIYASU
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
83
Journal:
The Journal of Symbolic Logic
DOI:
10.1017/jsl.2018.36
Date:
September, 2018
File:
PDF, 273 KB
2018
Conversion to is in progress
Conversion to is failed