Unformatted text preview: your semantics and the PROOF of Completeness Theorem with comments why the steps are VALID for your semantics in class before or on Thursday, March 18 for EXTRA CREDIT (15pts). 1...
View Full Document
- Spring '08
- Computer Science, Mathematical logic, Model theory, Proof theory, Kurt Gödel, Completeness Theorem