高崎金久著

授業がこれに沿って進んでいるのでテストの2日前に借りた

わかりやすくて良い

1,2

未読

3章

4章

5章

未読

6章

11章

言語Lの中の、変数を含まない項のこと

~12章

未読

13章

完全性定理のざっくり紹介

直接的な証明

14章

ヘンキンの定理を用いた、

命題論理の完全性定理の証明

15章

ヘンキンの定理を用いた、

述語論理の完全性定理の証明