Review: A. A. Markov, B. van Rootselaar, J. F. Staal, An Approach to Constructive Mathematical Logic