Theory of arithmetic. - Peterson, John A. (New York Wiley, 1967)
Keywords: Arithmetic -- Foundations