層・圏・トポス

教科書:

竹内外史: 「層・圏・トポス - 現代的集合像を求めて」 (1978; 初版本)

目次

  1. はじめに
  2. トポス
  3. 直観論理
  4. 高階直観論理