読者です 読者をやめる 読者になる 読者になる

CLTT

Book

読むかなぁ

Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics)

Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics)