Παραπομπή APA

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

Παραπομπή Chicago Style

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

Παραπομπή MLA

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

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.