講義名 記号論理学第一（Mathematical Logic I）
開講学期 ７学期 単位数 2--0--0
担当　藁谷　敏晴　教授：西９号館４１２号室（内線２６７６）


【講義の目的】
数理論理学の基本的な構造を、統語論的観点から、またモデル理論的観点から論ずる。

【講義計画】
命題論理、述語論理を考察した後、モデル理論に就いて考察する。


【教科書・参考書等】
講義で適宜指示または配布する。

【成績評価】
出席とレポート

【担当教員から一言】