On the Interpretation of Intuitionistic Number Theory

@article{Kleene1945OnTI,
  title={On the Interpretation of Intuitionistic Number Theory},
  author={Stephen Cole Kleene},
  journal={J. Symb. Log.},
  year={1945},
  volume={10},
  pages={109-124}
}
Highly Influential
This paper has highly influenced 31 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
166 Citations
2 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 166 extracted citations

References

Publications referenced by this paper.
Showing 1-2 of 2 references

General recursive functions of natural numbers

  • Springer. HILBERT, DAVID, BERNAYS, PAUL
  • Grundlagen der Mathematik,
  • 1936

Similar Papers

Loading similar papers…