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