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

Troelstra, A. S., & Schwichtenberg, H. (1996). Basic proof theory. Cambridge University Press.

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

Troelstra, A. S., και Helmut Schwichtenberg. Basic Proof Theory. Cambridge: Cambridge University Press, 1996.

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

Troelstra, A. S., και Helmut Schwichtenberg. Basic Proof Theory. Cambridge University Press, 1996.