Proof
Plumpton, C.(Charles)
Perry, R. L.
Shipton, E.
London Macmillan Education
1984
Includes index
Proof theory.