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

Instructor
As Taught In
Fall 2009
Learning Resource Types
Problem Sets with Solutions
Exams
Lecture Notes