Logic and its Applications is an introduction to mathematical logic and its applications in the field of computer science. This accessible new text covers both propositional and predicate logic, with applications in circuit design, logic programming and formal specification.
|Publisher:||Prentice Hall Professional Technical Reference|
|Series:||Prentice Hall International Series in Computer Science|
|Product dimensions:||6.90(w) x 9.27(h) x 0.58(d)|