Reeves, S., & Clarke, M. (1990). Logic for computer science. Addison-Wesley.
Citação norma ChicagoReeves, Steve, and Michael Clarke. Logic for Computer Science. Wokingham, England: Addison-Wesley, 1990.
Citação norma MLAReeves, Steve, and Michael Clarke. Logic for Computer Science. Addison-Wesley, 1990.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.