出版社内容情報
直観主義的集合論についてなされた世界で最初の系統的な著述であり,その基本的事項を詳しく厳密に述べることに重点がおかれている。位相の代数的一般化である完備ハイティング代数からはじまって,直観主義的集合論の構成,その上での直観主義的解析学について述べたあと,二,三の応用について述べられている。この分野に関心をもつ人々にとって恰好の入門書。
直観主義的集合論についてなされた世界で最初の系統的な著述であり,その基本的事項を詳しく厳密に述べることに重点がおかれている。位相の代数的一般化である完備ハイティング代数からはじまって,直観主義的集合論の構成,その上での直観主義的解析学について述べたあと,二,三の応用について述べられている。この分野に関心をもつ人々にとって恰好の入門書。