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

Troelstra, A. S., & Schwichtenberg, H. (2000). Basic proof theory (2η έκδ.). Cambridge University Press.

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

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

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

Troelstra, A. S., και Helmut Schwichtenberg. Basic Proof Theory. 2η έκδ. Cambridge University Press, 2000.