Effectively Retractable Theories and Degrees of Undecidability
J. P. JonesVolume:
34
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2270853
Date:
December, 1969
File:
PDF, 749 KB
english, 1969