数学基礎論・数理論理学のスレッド　その7at MATH
数学基礎論・数理論理学のスレッド　その7 - 暇つぶし2ch710:１３２人目の素数さん
11/06/10 18:29:08.44
実数は高階になるだけ。
充足可能性に付いて抽象的な理解を深めるには、
エルブラン基底などはいかが?

Samuel Buss, On Herbrand's Theorem
URLﾘﾝｸ(citeseerx.ist.psu.edu)


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch