Reeves, S., & Clarke, M. (1990). Logic for computer science. Addison-Wesley.
Citazione stile Chigago Style (17a edizione)Reeves, Steve, e Michael Clarke. Logic for Computer Science. Wokingham, England: Addison-Wesley, 1990.
Citatione MLA (9a ed.)Reeves, Steve, e Michael Clarke. Logic for Computer Science. Addison-Wesley, 1990.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.