APA (7th ed.) Citation

Reeves, S., & Clarke, M. (1993). Logic for computer science (Repr.). Addison-Wesley.

Chicago Style (17th ed.) Citation

Reeves, Steve, and Michael Clarke. Logic for Computer Science. Repr. Wokingham u.a: Addison-Wesley, 1993.

MLA (9th ed.) Citation

Reeves, Steve, and Michael Clarke. Logic for Computer Science. Repr. Addison-Wesley, 1993.