Axiomatique de Peano - Hervieux, Maurice, 1942- ([Holt, Reinehart et Winston], 1970)