Negri, S., Plato, J. v., & Ranta, A. (2001). Structural proof theory. Cambridge University Press.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Negri, Sara, Jan von Plato, và Aarne Ranta. Structural Proof Theory. Cambridge (GB) ; New York: Cambridge University Press, 2001.
Trích dẫn kiểu MLA (xuất bản lần thứ 8)Negri, Sara, et al. Structural Proof Theory. Cambridge University Press, 2001.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.