Davis, R. E. Truth, deduction, and computation: Logic and semantics for computer science. Computer Scienc.
Cita Chicago Style (17a ed.)Davis, Ruth E. Truth, Deduction, and Computation: Logic and Semantics for Computer Science. Nueva York: Computer Scienc.
Cita MLA (9a ed.)Davis, Ruth E. Truth, Deduction, and Computation: Logic and Semantics for Computer Science. Computer Scienc.
Precaución: Estas citas no son 100% exactas.