直観主義的集合論 紀伊國屋数学叢書 〈20〉

著者名：竹内外史

紀伊國屋書店（2016/01発売）

• ISBN：9784314701235

内容説明

直観主義的集合論についてなされてた世界で最初の系統的なちょじゅつであり、その基本的事項を詳しく厳密に述べることに重点がおかれている。位相の代数的一般化である完備ハイティング代数から始まって、直観主義的集合論の構成、その上での直観主義的解析学について述べた後、二、三の応用について言及している。