nuhsnuh https://blog.hatena.ne.jp/nuhsnuh/ nuhsnuh’s blog https://nuhsnuh.hatenablog.jp/ 入手文献 入手文献 まずは書籍から。 Gottlob Frege Collected Papers on Mathematics, Logic, and Philosophy, Brian McGuinness ed., Max Black et al. trans., Basil Blackwell, 1984 Haskell B. Curry, Robert Feys with two sections by William Craig Combinatory Logic, vol. 1, North-Holland, Studies in Logic and the Foundations of Mathe… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnuhsnuh.hatenablog.jp%2Fentry%2F20100816%2Fp3" title=" - nuhsnuh’s blog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2010-08-16 00:00:02 rich https://nuhsnuh.hatenablog.jp/entry/20100816/p3 1.0 100%