The Constructive Arithmetic by James A. Christie