Truth, deduction, and computation : logic and semantics for computer science /

Bibliographic Details
Main Author:	Davis, Ruth E.
Format:	Book
Language:	English
Published:	New York : Computer Science Press, [1989]
Subjects:	Programming languages (Electronic computers) > Semantics. Logic, Symbolic and mathematical. Electronic data processing.