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