Mathematical logic for computer science /

Ben-Ari, Mordechai.

Mathematical logic for computer science / By Mordechai Ben-Ari - 2nd ed. - New Delhi : Springer , 2008. - xiv,304p. ; PB : 22.5 cm

9788181283443


Propositional Calculus
Logic Programming
Temporal Logic

511.3 / BENM