数理論理学（数学基礎論）　その11at MATH

---

993:１３２人目の素数さん
17/11/01 12:40:50.74 .net
>>913
その具体例…論理式を表す記号列の解釈が一意に確定すること…に関する議論は｢論理学を作る」の前半部分で議論されていた記憶がうっすらとあります

---

次ページ

続きを表示

1を表示

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch