Proof theory and algebra in logic - Ono, Hiroakira, 1942- (Short textbooks in logic,, 2019)