隈部 正博 | 放送大学教養学部
スポンサーリンク
概要
関連著者
-
山崎 武
東北大学理学部
-
鈴木 登志雄
首都大学東京理工学研究科数理情報科学専攻
-
隈部 正博
放送大学教養学部
-
鈴木 登志雄
大阪府立大学理学部
-
山崎 武
大阪府立大学理学部
-
鈴木 登志雄
首都大学東京理工学研究科
著作論文
- Truth-table reductions and minimum sizes of forcing conditions : preliminary draft(Proof Theory of Arithmetic)
- Logarithmic truth-table reductions and minimum sizes of forcing conditions : preliminary draft (Proof Theory and Computation Theory)