PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC
KURAHASHI, TAISHIVolume:
83
Journal:
The Journal of Symbolic Logic
DOI:
10.1017/jsl.2018.27
Date:
September, 2018
File:
PDF, 241 KB
2018