Mathematical Logic for Computer Science by M Ben-Ari

  •
1 1

Mathematical Logic for Computer Science by M Ben-Ari

Checking stock...
Checking stock...
Summary

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.

The feel-good place to buy books
  • Free US shipping over $15
  • Buying preloved emits 41% less CO2 than new
  • Millions of affordable books
  • Give your books a new home - sell them back to us!

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.

You might also like

Mordechai (Moti) Ben-Ari is with the Department of Science Teaching at the Weizmann Institute of Science. He is a Distinguished Educator of the ACM and has received the ACM/SIGCSE Award for Outstanding Contributions to Computer Science Education.

SKU Unavailable
ISBN 13 9780135641392
ISBN 10 013564139X
Title Mathematical Logic for Computer Science
Author M Ben-Ari
Condition Unavailable
Binding Type Paperback
Publisher Pearson Education Limited
Year published 1992-10-01
Number of pages 320
Cover note Book picture is for illustrative purposes only, actual binding, cover or edition may vary.

Customers who bought this item also bought