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

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.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.7 .D386 1989
 
Call Number Status Get It
QA76.7 .D386 1989 Available