A theory of positive integers in formal logic (1935)

by Stephen Kleene
Venue:American Journal of Mathematics, 57:153–173 and