1. Curry, H.: A formalization of recursive arithmetic. Am. J. Math. 63, 263–282 (1941)
2. Dedekind, R.: Was sind und was sollen die Zahlen? (1888)
3. von Ettingshausen, A.: Die combinatorische Analysis als Vorbereitungslehre zum Studium der theoretischen höhern Mathematik. Wallishauser, Vienna (1826)
4. Grassmann, H.: Die Wissenschaft der extensiven Grösse oder die Ausdehnungslehre. Wigand, Leipzig (1844)
5. Grassmann, H.: Lehrbuch der Arithmetik für höhere Lehranstalten. Enslin, Berlin (1861)