南山大学

文字サイズ
 
指定
 選
期間
 ４単位
単位
 春学期
担当者
 佐々木　克

　〔数理論理学〕
　古典論理、非古典論理におけるシークエント計算を中心に数理論理学の話題を取り上げる。