Friedman translation (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Friedman translation" in English language version.

refsWebsite
Global rank English rank
2nd place
2nd place

doi.org

  • Harvey Friedman. Classically and Intuitionistically Provably Recursive Functions. In Scott, D. S. and Muller, G. H. Editors, Higher Set Theory, Volume 699 of Lecture Notes in Mathematics, Springer Verlag (1978), pp. 21–28. doi:10.1007/BFb0103100