Join Books.org — it's free
Home > Books > Logic and Its Applications

Logic and Its Applications by Eric Foxley, E. Burke — book cover
Logic, Logic & Foundations of Mathematics, Programming - General & Miscellaneous, Logic Design

Logic and Its Applications

by Eric Foxley, E. Burke
Write a review
Log in to track your reading progress.

Overview

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.

Reviews

There are no reviews yet. Log in to write one.

Book Details

Published
May 16, 1996
Publisher
Prentice Hall
Pages
380
Format
Paperback
ISBN
9780130302632

Similar books

Discrete Structures, Logic, and Computability
Discrete Structures, Logic, and Computability
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations
Logic in Artificial Intelligence and Logic Programming, Vol. 5
Logic in Artificial Intelligence and Logic Programming, Vol. 5
Logic in Artificial Intelligence and Logic Programming: Deduction Methodologies
Logic in Artificial Intelligence and Logic Programming: Deduction Methodologies
Meta-Logics and Logic Programming
Meta-Logics and Logic Programming
Foundations of Inductive Logic Programming, Vol. 122
Foundations of Inductive Logic Programming, Vol. 122
Logic in Artificial Intelligence and Logic Programming: Nonmonotonic Reasoning and Uncertain Reasoning, Vol. 3
Logic in Artificial Intelligence and Logic Programming: Nonmonotonic Reasoning and Uncertain Reasoning, Vol. 3
From Natural Language Processing to Logic for Expert Systems
From Natural Language Processing to Logic for Expert Systems
Handbook of Logic in Artificial Intelligence and Logic Programming
Handbook of Logic in Artificial Intelligence and Logic Programming
Logic for Computer Scientists
Logic for Computer Scientists