Learn More
1. Introduction 2. N-systems and H-systems 3. Gentzen systems 4. Cut elimination with applications 5. Bounds and permutations 6. Normalization for natural deduction 7. Resolution 8. Categorical logic(More)