Proof theory /
Takeuti, Gaisi,1926-
Includes bibliographical references and index.
Proof theory.
Proof theory