Pym, D. J., & Ritter, E. (2004). Reductive logic and proof-search: Proof theory, semantics, and control. Clarendon Press. https://doi.org/10.1093/acprof:oso/9780198526339.001.0001
Chicago Style (17th ed.) CitationPym, David J., and Eike Ritter. Reductive Logic and Proof-search: Proof Theory, Semantics, and Control. Oxford: Clarendon Press, 2004. https://doi.org/10.1093/acprof:oso/9780198526339.001.0001.
MLA (9th ed.) CitationPym, David J., and Eike Ritter. Reductive Logic and Proof-search: Proof Theory, Semantics, and Control. Clarendon Press, 2004. https://doi.org/10.1093/acprof:oso/9780198526339.001.0001.
Warning: These citations may not always be 100% accurate.