Arkoudas, K., & Musser, D. R. (2017). Fundamental proof methods in computer science: A computer-based approach. MIT Press.
Chicago-Zitierstil (17. Ausg.)Arkoudas, Konstantine, und David R. Musser. Fundamental Proof Methods in Computer Science: A Computer-based Approach. Cambridge, MA: MIT Press, 2017.
MLA-Zitierstil (9. Ausg.)Arkoudas, Konstantine, und David R. Musser. Fundamental Proof Methods in Computer Science: A Computer-based Approach. MIT Press, 2017.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.