24.241 | Fall 2009 | Undergraduate

Logic I

Lecture Notes

MIT24_241F09_lec11.pdf

Description:

This resource contains information about TF- Completeness, soundness of SD and completeness of SD.

Resource Type:
Lecture Notes
pdf
347 kB
MIT24_241F09_lec11.pdf

Course Info

Fall 2009
Exams
Lecture Notes
Problem Set Solutions
Problem Sets