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

Scarpellini, B. (1971). Proof theory and intuitionistic systems. Springer-Verlag.

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

Scarpellini, Bruno. Proof Theory and Intuitionistic Systems. Berlin ; New York: Springer-Verlag, 1971.

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

Scarpellini, Bruno. Proof Theory and Intuitionistic Systems. Springer-Verlag, 1971.