無限に付いて語る。実無限VS可能無限

直観主義、あるいは構成主義の数学について書かれたよい本はありませんか。