Publisher: Prentice Hall - 1996-10-24
Format: Paperback
Book Information:
A concise introduction to formal logic that requires little previous mathematical knowledge, this book prepares readers for analysis and application of logic techniques in computing. It covers a wide range of topics, including truth tables, semantic tableaux, natural deduction--axiomatic, propositional, modal and predicate logic, and historical sketches that help students appreciate logic as a living enterprise.
By: Miguelmutien
No comments:
Post a Comment