レベル 1 · 28 回の授業

数理論理学 I：命題論理

古典命題計算の構文論、演繹、意味論。