Bogoljubskij, S. Posy, C., Mathematical Intuitionism, Cambridge, Cambridge University Press, 2020. EPNS 2026, 45, 159-164.