Παραπομπή APA
Davis, R. (1989). Truth, deduction, and computation: Logic and semantics for computer science. New York: Computer Science Press.
Παραπομπή Chicago StyleDavis, R.E. Truth, Deduction, and Computation: Logic and Semantics for Computer Science. New York: Computer Science Press, 1989.
Παραπομπή MLADavis, R.E. Truth, Deduction, and Computation: Logic and Semantics for Computer Science. New York: Computer Science Press, 1989.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.