本を探す
Scrapbox
「Jean-Yves Girard」の検索結果
Proof Theory and Logical Complexity (Studies in Proof Theory, Vol 1)
p-his