本を探す
Scrapbox
「B. Jacobs」の検索結果
Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics)
りんごスプーン
Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics)
Calculi
