Reeves, S., & Clarke, M. (1990). Logic for computer science. Addison-Wesley Publishing Company.
Παραπομπή σε μορφή Chicago (17η εκδ.)Reeves, Steve, και Michael Clarke. Logic for Computer Science. Wokingham: Addison-Wesley Publishing Company, 1990.
Παραπομπή σε μορφή MLA (8th εκδ.)Reeves, Steve, και Michael Clarke. Logic for Computer Science. Addison-Wesley Publishing Company, 1990.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.