Harrison, J. (2009). Handbook of practical logic and automated reasoning. Cambridge University Press.
Chicago-Zitierstil (17. Ausg.)Harrison, John. Handbook of Practical Logic and Automated Reasoning. Cambridge, United Kingdom: Cambridge University Press, 2009.
MLA-Zitierstil (9. Ausg.)Harrison, John. Handbook of Practical Logic and Automated Reasoning. Cambridge University Press, 2009.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.