RT @georg_logic: しばらく前にたかはしさんと寄稿した書籍が出版された模様.Gentzenの無矛盾性証明において,内容的な側面と形式的な側面の関係性に関して(Wilfried Siegによって提起された)問いを探求した論文(43頁)です. https://t.co…
14 followers
1,536 followers
RT @georg_logic: しばらく前にたかはしさんと寄稿した書籍が出版された模様.Gentzenの無矛盾性証明において,内容的な側面と形式的な側面の関係性に関して(Wilfried Siegによって提起された)問いを探求した論文(43頁)です. https://t.co…
2,108 followers
RT @georg_logic: しばらく前にたかはしさんと寄稿した書籍が出版された模様.Gentzenの無矛盾性証明において,内容的な側面と形式的な側面の関係性に関して(Wilfried Siegによって提起された)問いを探求した論文(43頁)です. https://t.co…
625 followers
RT @georg_logic: しばらく前にたかはしさんと寄稿した書籍が出版された模様.Gentzenの無矛盾性証明において,内容的な側面と形式的な側面の関係性に関して(Wilfried Siegによって提起された)問いを探求した論文(43頁)です. https://t.co…