Proof / C. Plumpton, R.L. Perry, E. Shipton. - Plumpton, C. (Charles), 1920- (Core books in advanced mathematics, 1984)