You are about to access our book library "Proof Theory and Algebra in Logic (Short Textbooks in Logic) full version" .