Negri, S., Plato, J. v., & Ranta, A. (2001). Structural proof theory. Cambridge University Press.
Chicago-referens (17:e uppl.)Negri, Sara, Jan von Plato, och Aarne Ranta. Structural Proof Theory. Cambridge (GB) ; New York: Cambridge University Press, 2001.
MLA-referens (8:e uppl.)Negri, Sara, et al. Structural Proof Theory. Cambridge University Press, 2001.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.