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
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