久々に難しそうな本を大人買い。Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics)作者: B. Jacobs出版社/メーカー: Elsevier Science発売日: 2001/10/05メディア: ペーパーバック購入: 2人 クリック: …