Takeuti, G. (1987). Proof theory (2. ed.). North-Holland.
Chicago-Zitierstil (17. Ausg.)Takeuti, Gaisi. Proof Theory. 2. ed. Amsterdam u.a: North-Holland, 1987.
MLA-Zitierstil (9. Ausg.)Takeuti, Gaisi. Proof Theory. 2. ed. North-Holland, 1987.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.