Abstract sequent axiomatizations of finitary universal Horn theories: Abstract Proof Theory versus General Algebraic Logic

by Dr Alexej P. Pynko Paperback details (USA). ISBN: 978-1-7945-9554-5 ISBN-10: 1-7945-9554-6 Independently published · January 2019