Takeuti Gaisi Proof Theory - Amsterdam North Holland 1975 - vii,372p. cm. Standard No.: 19583 Source: Textual Subjects--Topical Terms: Proof Theory Dewey Class. No.: B:R1, L5