1.

図書
図書
1. Introduction to higher order categorical logic (: pbk)
J. Lambek, P.J. Scott
出版情報: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1988, c1986
シリーズ名: Cambridge studies in advanced mathematics ; 7
所蔵情報: loading…
2.

図書
図書
2. 集合・位相・圏 : 数学の言葉への最短コース
原啓介著
出版情報: 東京 : 講談社, 2020.1
所蔵情報: loading…