はじめに きしださんのこちらの記事を参考に、型理論を理解したいと考え、まずは「入門！論理学」を読んでみました。 感想を書いていこうと思います。 nowokay.hatenablog.com 入門！論理学 (中公新書)作者:野矢茂樹中央公論新社Amazon 読んでみてどうだった…