Goodstein R L Constructive formalism Goodstein R L - 1951 - p. cm. Standard No.: 58771 Source: Textual Subjects--Topical Terms: Maths Dewey Class. No.: B:R1, J1 CS