A DIRECT PROOF OF SCHWICHTENBERG’S BAR RECURSION CLOSURE THEOREM

PAULO OLIVA, SILVIA STEILA
  • Journal of Symbolic Logic, February 2018, Cambridge University Press
  • DOI: 10.1017/jsl.2017.33

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.1017/jsl.2017.33

In partnership with: