Truth, deduction, and computation
Subtitle: logic and semantics for computer science
By: R.E. Davis.
Series: Principles of computer science series
Publisher: Computer Science Press; Computer Science Pr; Brand: Computer Science Pr
Published: 1989
Place of publication: Rockville, MD
Language: eng
Number of pages: 265
Subjects: Electronic data processing.; Logic, Symbolic and mathematical.; Programming languages (Electronic computers) -- Semantics.
Notes: Includes bibliographical references.