数学基礎論・数理論理学のスレッド　その7

数学基礎論・数理論理学のスレッド　その7at MATH

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

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

次ページ