数学基礎論スレのスレタイを決めるスレ
■ このスレッドは過去ログ倉庫に格納されています
0294１３２人目の素数さん
2011/11/05(土) 14:48:28.81ttp://www.amazon.co.jp/exec/obidos/ASIN/0198568525/hayashinoblog-22/ref=nosim
Set Theory: Boolean-Valued Models and Independence Proofs (Oxford Logic Guides)
John L. Bell
John L. Bell is a member of the editorial boards of the journals Axiomathes and Philosophia Mathematica.
バリバリの哲学系の人間だが・・・・
ブール値モデルによるフォーシングの定式化をやっているヒト
■ このスレッドは過去ログ倉庫に格納されています