APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

Warning: These citations may not always be 100% accurate.