The Constructive Arithmetic door James A. Christie