APA (7th ed.) Citation

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.) Citation

Pym, 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.) Citation

Pym, 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.