{"version":"1.0","url":"https://nuhsnuh.hatenablog.jp/entry/20100816/p3","description":"\u307e\u305a\u306f\u66f8\u7c4d\u304b\u3089\u3002 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\u2026","author_name":"nuhsnuh","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnuhsnuh.hatenablog.jp%2Fentry%2F20100816%2Fp3\" title=\" - nuhsnuh\u2019s blog\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","published":"2010-08-16 00:00:02","image_url":null,"title":"","blog_url":"https://nuhsnuh.hatenablog.jp/","provider_name":"Hatena Blog","height":"190","provider_url":"https://hatena.blog","author_url":"https://blog.hatena.ne.jp/nuhsnuh/","width":"100%","categories":["\u5165\u624b\u6587\u732e","\u5165\u624b\u6587\u732e"],"type":"rich","blog_title":"nuhsnuh\u2019s blog"}