Davis, R. E. (1989). Truth, deduction, and computation: Logic and semantics for computer science (1. print.). Computer Science Pr.
Chicago-Zitierstil (17. Ausg.)Davis, Ruth E. Truth, Deduction, and Computation: Logic and Semantics for Computer Science. 1. print. New York: Computer Science Pr, 1989.
MLA-Zitierstil (9. Ausg.)Davis, Ruth E. Truth, Deduction, and Computation: Logic and Semantics for Computer Science. 1. print. Computer Science Pr, 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.