Janos Bolyai, Non-Euclidean Geometry, and the Nature of Space by Jeremy Gray & Jeremy J. Gray