Mathematical Logic for Computer Science by Ben-Ari, Mordechai. (Springer,2012) [Paperback] 3rd Edition

by Mordechai Ben-Ari

Covers propositional calculus, predicate calculus, resolution and logic programming, temporal logic, and formalization of programs

Genres: Computer Science, Logic, Mathematics, Nonfiction, Science

Unknown Binding

First published February 1, 2001

About the author

Also goes by Moti Ben-Ari.

Reviews

[Alftheo Potgieter · Rating 3 out of 5]

I found this quite tough. It builds up automated systems of solving logical equations and as a bonus there is Prolog code for everything that can be coded.

Godel's theorem is there but if you page too quickly you will miss it