TY  - BOOK
AU  - Davis,Ruth E.
TI  - Truth, deduction, and computation: logic and semantics for computer science 
SN  - 0716782014 :
AV  - QA76.7 .D386 1989
U1  - 005.13 20
PY  - 1989///
CY  - New York
PB  - Computer Science Press
KW  - Programming languages (Electronic computers)
KW  - Semantics
KW  - Logic, Symbolic and mathematical
KW  - Electronic data processing
N1  - Includes bibliographical references (p. 257-260) and index
ER  -