Free Shipping In the UK
Mathematical Logic for Computer Science By M. Ben-Ari

Mathematical Logic for Computer Science
by M. Ben-Ari

In Stock
£14.99
Designed to provide a firm foundation in mathematical logic, this work aims to serve as an elementary textbook for both graduate study and for applications of logic, such as logic programming and format specification and verification.
Only 1 left

Mathematical Logic for Computer Science Summary


Mathematical Logic for Computer Science by M. Ben-Ari

Designed to provide a firm foundation in mathematical logic, this book provides an elementary yet rigorous textbook for both graduate study and for applications of logic, such as logic programming and formal specification and verification. The text supplies the mathematics often treated sketchily in introductory computer science books, while using the simplest techniques rather than the most general used in mathematical books.

Why buy from World of Books

Our excellent value books literally don't cost the earth
Free delivery in the UK
Read more here
Every used book bought is one saved from landfill

Table of Contents


Propositional calculus; predicate calculus; resolution and logic programming; temporal logic; formalization of programs.

Additional information

GOR009971004
Mathematical Logic for Computer Science by M. Ben-Ari
M. Ben-Ari
Used - Well Read
Paperback
Pearson Education Limited
1992-10-01
320
013564139X
9780135641392
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a used book - there is no escaping the fact it has been read by someone else and it will show signs of wear and previous use. Overall we expect it to be in very good condition, but if you are not entirely satisfied please get in touch with us.