This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: This should help you in completing proofs. For additional problems like these, see 7.1 sections I and II and 7.2 sections I and II....
View Full Document
- Fall '06
- Mathematical logic, Metalogic, Proof theory, Additional Problems, underlined portion