検索内容:
ゼミで彼女は、論理式を数として符号化し、形式的な自己言及を可能にする方法を示すためにゲーデル化を用いました。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★