Truth, Deduction, and Computation
Subtitle: Logic and Semantics for Computer Science (Principles of Computer Science Series)
Publisher: W.H. Freeman & Company
Published: September 1989
Language: eng
Format: Hardcover
Number of pages: 220
ISBN-13: 9780716782018
Subjects: Computer architecture & logic design; Mathematics; Computer Logic; Semantics; Computer Books: Operating Systems; Programming languages (Electronic computers); Programming Languages - General; General; Electronic data processing; Logic, Symbolic and mathematic; Logic, Symbolic and mathematical; Programming languages (Electro