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
Published: 1990
Place of publication: New York
Language: eng
Number of pages: 265
Subjects: Programming languages (Electronic computers) -- Semantics.; Logic, Symbolic and mathematical.; Electronic data processing.
Notes: Includes bibliographical references (p. 257-260) and index.