Takeuti, G. (1987). Proof theory (2nd ed.). North-Holland.
Chicago Style (17th ed.) CitationTakeuti, Gaisi. Proof Theory. 2nd ed. Amsterdam ; New York: North-Holland, 1987.
MLA (9th ed.) CitationTakeuti, Gaisi. Proof Theory. 2nd ed. North-Holland, 1987.
Warning: These citations may not always be 100% accurate.