Reeves, S., & Clarke, M. (1990). Logic for computer science. Addison-Wesley.
Chicago Style (17th ed.) ZitazioaReeves, Steve, eta Michael Clarke. Logic for Computer Science. Wokingham, England: Addison-Wesley, 1990.
MLA (9th ed.) ZitazioaReeves, Steve, eta Michael Clarke. Logic for Computer Science. Addison-Wesley, 1990.
Kontuz: berrikusi erreferentzia hauek erabili aurretik.