Model Theory versus Proof within General Algebraic Logic

Model Theory: The Algebraic Basics (Trends in Logic, 70)

Proof Theory and Algebra in Logic (Short Textbooks Logic)

Gödel's Completeness Theorem: Mathematical Logic, Provability First Order Kurt Gödel, Structure (Mathematical...

A Proof Theory for General Unification (Progress in Computer Science and Applied...