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

Troelstra, A. S., & Schwichtenberg, H. (2000). Basic proof theory (2nd ed.). Cambridge University Press.

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

Troelstra, A. S., και Helmut Schwichtenberg. Basic Proof Theory. 2nd ed. Cambridge ; New York: Cambridge University Press, 2000.

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

Troelstra, A. S., και Helmut Schwichtenberg. Basic Proof Theory. 2nd ed. Cambridge University Press, 2000.