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 author haven't yet claimed this publicationThe author haven't yet claimed this publication

In partnership with: