APA (7th ed.) Citation

Harrison, J. (2011). Handbook of practical logic and automated reasoning (1st ed., Repr.). Cambridge University Press.

Chicago Style (17th ed.) Citation

Harrison, J. Handbook of Practical Logic and Automated Reasoning. 1st ed., Repr. Cambridge ; New York: Cambridge University Press, 2011.

MLA (9th ed.) Citation

Harrison, J. Handbook of Practical Logic and Automated Reasoning. 1st ed., Repr. Cambridge University Press, 2011.