Cita APA (7th ed.)

Arkoudas, K., & Musser, D. R. (2017). Fundamental proof methods in computer science: A computer-based approach. MIT Press.

Cita Chicago (17th ed.)

Arkoudas, Konstantine, i David R. Musser. Fundamental Proof Methods in Computer Science: A Computer-based Approach. Cambridge, MA: MIT Press, 2017.

Cita MLA (9th ed.)

Arkoudas, Konstantine, i David R. Musser. Fundamental Proof Methods in Computer Science: A Computer-based Approach. MIT Press, 2017.