Kleene–Brouwer order (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Kleene–Brouwer order" in English language version.

refsWebsite
Global rank English rank
451st place
277th place
14th place
14th place
low place
low place
2nd place
2nd place
26th place
20th place

ams.org

mathscinet.ams.org

  • Schwichtenberg, Helmut; Wainer, Stanley S. (2012), "2.8 Recursive type-2 functionals and well-foundedness", Proofs and computations, Perspectives in Logic, Cambridge: Cambridge University Press, pp. 98–101, ISBN 978-0-521-51769-0, MR 2893891.
  • Kleene, S. C. (1955), "On the forms of the predicates in the theory of constructive ordinals. II", American Journal of Mathematics, 77: 405–428, doi:10.2307/2372632, JSTOR 2372632, MR 0070595. See in particular section 26, "A digression concerning recursive linear orderings", pp. 419–422.

archive.today

doi.org

  • Kleene, S. C. (1955), "On the forms of the predicates in the theory of constructive ordinals. II", American Journal of Mathematics, 77: 405–428, doi:10.2307/2372632, JSTOR 2372632, MR 0070595. See in particular section 26, "A digression concerning recursive linear orderings", pp. 419–422.

eudml.org

jstor.org

  • Kleene, S. C. (1955), "On the forms of the predicates in the theory of constructive ordinals. II", American Journal of Mathematics, 77: 405–428, doi:10.2307/2372632, JSTOR 2372632, MR 0070595. See in particular section 26, "A digression concerning recursive linear orderings", pp. 419–422.