$ \newcommand{\LEQ}{\leqq} $

 2018-05-14    書籍    論理    林晋    ゲーデル  

 書籍『不完全性定理』


 2018-05-14    書籍    論理    林晋    ゲーデル