This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document Spring '08
 WORMER
 Computer Science, Logic, Xu, Mathematical logic, Proof theory, natural deduction proof, De Morgan De Morgan

Click to edit the document details