MATHEMATICAL SYSTEMS - Hackworth, Robert D. (New York Holt, Rinehart And Winston, 1969)
Includes Bibliography
Keywords: Arithmetic -- Foundations