数学基礎論・数理論理学　その14at MATH

---

96:１３２人目の素数さん
12/10/10 21:51:21.54
Hajek & Pudlakの最後あたり
URLﾘﾝｸ(projecteuclid.org)

Bussの"First-Order Proof Theory of Arithmetic"
URLﾘﾝｸ(www.math.ucsd.edu)

en.wikipedia.orgのQの記事
URLﾘﾝｸ(en.wikipedia.org)

---

次ページ

続きを表示

1を表示

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch