Classically and intuitionistically provably recursive functions

This publication has 1 reference indexed in Scilit:

• The consistency of classical set theory relative to a set theory with intu1tionistic logic
  The Journal of Symbolic Logic, 1973