100% mathematical proof /
Garnier, Rowan.
Taylor, John,1957-
Chichester : Wiley,
1996.
Proof theory.
Logic, Symbolic and mathematical.