Machine generated authority record.
Work cat.: (GY-GeU)56560: Solow, Daniel 51220, How to read and do proofs : , 1982.