Algebra of proofs
Szabo, M. E.
Amsterdam Oxford North-Holland Publishing Co.
1978
Bibliography: p.278-284. - Includes index
Proof theory.
Predicate (Logic)
First-order logic.