Cita APA (7a ed.)

Davis, R. E. (1989). Truth, deduction, and computation: Logic and semantics for computer science. Computer Science.

Cita Chicago Style (17a ed.)

Davis, Ruth E. Truth, Deduction, and Computation: Logic and Semantics for Computer Science. New York: Computer Science, 1989.

Cita MLA (9a ed.)

Davis, Ruth E. Truth, Deduction, and Computation: Logic and Semantics for Computer Science. Computer Science, 1989.