Mathematical logic for computer science
Ben-Ari, Mordechai
Mathematical logic for computer science - 2 - New Delhi Springer 2003 - xiv, 304p
9788181283443
Calculus Propositional calculus
Computer science -- Mathematical logic
Logic programming
Mathematical logic Computer science
Set theory
Mathematical logic for computer science - 2 - New Delhi Springer 2003 - xiv, 304p
9788181283443
Calculus Propositional calculus
Computer science -- Mathematical logic
Logic programming
Mathematical logic Computer science
Set theory