Lecture 10: Audio
Update: 2006-11-11
Description
Clarification of issues that often cause problems, including: negation, the interpretation of statement variables and operator specificity in rule schematics, and requirements on subproofs.
Comments
In Channel