A Theory of Positive Integers in Formal Logic (1935)

by S C Kleene
Venue:American Journal of Mathematics 57: 153 - 173 and 219