1,123 followers
RT @georg_logic: ゲンツェンがどういう意味での形式主義者か,を論じたこの論文も好き.Detlefsen, “Gentzen’s Anti-Formalist Views”, 2015. https://t.co/8CZj3dQdac
RT @georg_logic: ゲンツェンがどういう意味での形式主義者か,を論じたこの論文も好き.Detlefsen, “Gentzen’s Anti-Formalist Views”, 2015. https://t.co/8CZj3dQdac
RT @georg_logic: ゲンツェンがどういう意味での形式主義者か,を論じたこの論文も好き.Detlefsen, “Gentzen’s Anti-Formalist Views”, 2015. https://t.co/8CZj3dQdac
RT @georg_logic: ゲンツェンがどういう意味での形式主義者か,を論じたこの論文も好き.Detlefsen, “Gentzen’s Anti-Formalist Views”, 2015. https://t.co/8CZj3dQdac
ゲンツェンがどういう意味での形式主義者か,を論じたこの論文も好き.Detlefsen, “Gentzen’s Anti-Formalist Views”, 2015. https://t.co/8CZj3dQdac