Dyfyniad APA

Davis, R. E. (1989). Truth, deduction, and computation: Logic and semantics for computer science. W. H. Freeman & Co.

Dyfyniad Arddull Chicago

Davis, Ruth E. Truth, Deduction, and Computation: Logic and Semantics for Computer Science. New York: W. H. Freeman & Co, 1989.

Dyfyniad MLA

Davis, Ruth E. Truth, Deduction, and Computation: Logic and Semantics for Computer Science. W. H. Freeman & Co, 1989.

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.