A formalization of recursive arithmetic.

From MaRDI portal

Publication:2579576

Jump to:navigation, search

DOI10.2307/2371522zbMath67.0038.01OpenAlexW2330243593MaRDI QIDQ2579576

Haskell B. Curry

Publication date: 1941

Published in: American Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2371522

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2579576&oldid=15338595"