Logic & Its Applications

Burke (Paperback)

Ej i detta bibliotek

Kategori: (Dca)

Beskrivande text

Providing a thorough introduction to logic programming, this new text covers both propositional and predicate logic with applications in circuit design, formal specification, and logic programming . Introducing the reader to mathematical logic, the book gives special emphasis to applications in computer science.

OHPs available form the Publisher.