基礎演習 I 論理学

京都大学文学部の「基礎演習 I 論理学」(毎週火曜日16:30〜18:00)の授業Blogです。

2015-12-22から1日間の記事一覧

今週は直観主義論理と古典論理に関する証明問題の問題演習、および成績についての解説です。