Isbn: 9781794595545 - abstract sequent axiomatizations of finitary universal horn theories: abstract proof theory versus general algebraic logic (1 Ergebnisse)