你即將離開本站

並前往https://projecteuclid.org/download/pdf_1/euclid.bsl/1146620058

fication of the provably recursive functions of - Project Euclid

In this article we reprove a classical result on the classi- fication of the provably recursive functions of first order Peano arithmetic.

確定！ 回上一頁

查詢 「Reprove」的人也找了：

  1. Scold
    2.
  2. Reprobate
    3.
  3. Admonish
    4.
  4. Rebuke
    5.
  5. Assuage
    6.
  6. Repudiate
    7.
  7. Repugnant
    8.
  8. Prove
    9.