Interpreting Arithmetic in the r.e. Degrees Under Σ4-Induction
doi 10.1017/9781316755846.007
Full Text
Open PDFAbstract
Available in full text
Date
Unknown
Authors
Publisher
Cambridge University Press
Available in full text
Unknown
Cambridge University Press