The neo-intuitionist theory of mathematics and logic | lit.salon