A Uniform Approach for Characterizing the Provably Total Number-Theoretic Functions of KPM and (Some of) Its Subsystems
Benjamin Blankertz and Andreas WeiermannVolume:
62
Language:
english
Journal:
Studia Logica: An International Journal for Symbolic Logic
DOI:
10.2307/20016055
Date:
May, 1999
File:
PDF, 2.38 MB
english, 1999