Book:Gaisi Takeuti/Proof Theory

Gaisi Takeuti: Proof Theory

Published $\text {1975}$.

Subject Matter

• Logic

Contents

A table of contents is missing for this source work. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding the table of contents. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{ContentsWanted}} from the code.

Further Editions

• 1987: Gaisi Takeuti: Proof Theory (2nd ed.)