{"title":"\u30b0\u30ea\u30d9\u30f3\u30b3\u304b\u3089\u30cf\u30a4\u30c6\u30a3\u30f3\u30b0\u3078\u306e\u624b\u7d19 (1)","blog_title":"Asinus's blog","height":"190","author_name":"Incognito0","description":"\u306f\u3058\u3081\u306b \u30b0\u30ea\u30d9\u30f3\u30b3\u306e\u5b9a\u74061\u3067\u304a\u99b4\u67d3\u307f\u306e\u30b0\u30ea\u30d9\u30f3\u30b3\u306e\u624b\u7d19\u3092\u3044\u304f\u3064\u304b\u7ffb\u8a33\u3059\u308b\u3002 \u30c6\u30ad\u30b9\u30c8\u306fA. S. Troestra, On the Early History of Intuitionisitc Logic, In Mathematical Logic, Springer, pp.3-17 (1990) \u3092\u4f7f\u7528\u3057\u305f\u3002 \u4ee5\u4e0b\u3067\u3082\u8aad\u3080\u3053\u3068\u304c\u3067\u304d\u308b\u3002 https://eprints.illc.uva.nl/1281/1/ML-1988-04.text.pdf \u4ee5\u4e0b\u306e\u6587\u732e\u3082\u53c2\u7167\u3057\u305f\u3002 Dennis E. Hesseling, Gnomes in the Fog: The Reception of B\u2026","provider_name":"Hatena Blog","width":"100%","url":"https://incognito0.hatenablog.com/entry/2021/04/02/183020","categories":["\u6570\u7406\u8ad6\u7406\u5b66","\u6570\u5b66\u57fa\u790e\u8ad6"],"provider_url":"https://hatena.blog","blog_url":"https://incognito0.hatenablog.com/","type":"rich","published":"2021-04-02 18:30:20","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fincognito0.hatenablog.com%2Fentry%2F2021%2F04%2F02%2F183020\" title=\"\u30b0\u30ea\u30d9\u30f3\u30b3\u304b\u3089\u30cf\u30a4\u30c6\u30a3\u30f3\u30b0\u3078\u306e\u624b\u7d19 (1) - Asinus&#39;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>","version":"1.0","image_url":null,"author_url":"https://blog.hatena.ne.jp/Incognito0/"}