Abstract Sequent Axiomatizations of Finitary Universal Horn Theories: Abstract Proof Theory Versus General Algebraic Logic

Bok av Alexej P. Pynko