Theory of proofs
Open University.
Milton Keynes Open University Press
1973
Proof theory.