1. Ashby WR (1945) Effect of controls on stability. Nature 155:242–243
2. Bishop E (1967) Foundations of constructive analysis. McGraw-Hill Inc., New York
3. Boolos GS, Jeffrey RC (1989) Computability and logic, 3rd edn. Cambridge University Press, Cambridge
4. Brouwer LEJ (1954–56) The effect of intuitionism on classical algebra of logic. In: Proceedings of the Royal Irish Academy. Section a: mathematical and physical sciences, vol 57, pp 113–116
5. Brouwer LEJ (1981) Brouwer’s Cambridge lectures on Intuitionism, van Dalen D (ed). Cambridge University Press, Cambridge