This preview shows page 1. Sign up to view the full content.
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