Παραπομπή σε μορφή APA (7η εκδ.)

Takeuti, G. (2013). Proof theory (2η εκδ.). Dover Publications.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Takeuti, Gaisi. Proof Theory. 2η εκδ. Mineola, N.Y.: Dover Publications, 2013.

Παραπομπή σε μορφή MLA (9th εκδ.)

Takeuti, Gaisi. Proof Theory. 2η εκδ. Dover Publications, 2013.