S2°=P2°{|-□A⇒|-A}

スポンサーリンク

概要

• 論文の詳細を見る
• 豊田工業高等専門学校の論文
• 1982-11-01

著者

• 大浜 茂生

  豊田工業高等専門学校一般学科

関連論文

• S2°=P2°{|-□A⇒|-A}
• Paris-Harringtonの結果について (数学基礎論)
• 実数上の関数と述語のある類について

スポンサーリンク