検索条件入力書誌詳細 > 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
著者名典拠情報
NCIDDA05686929
名称(HDNG)Moerdijk, Ieke
から見よ(SF)Moerdijk, I
注記(NOTE)His Models for smooth infinitesimal analysis, c1991: t. p. (Ieke Moerdijk)
Mac Lane, Saunders; Sheaves in geometry and logic, c1992