Mathematical logic for computer science

Mordechai Ben-Ari. Mathematical logic for computer science. Prentice Hall International series in computer science, Prentice Hall, 1993.

@book{0072155,
  title = {Mathematical logic for computer science},
  author = {Mordechai Ben-Ari},
  year = {1993},
  tags = {e-science, logic},
  researchr = {https://researchr.org/publication/0072155},
  cites = {0},
  citedby = {0},
  series = {Prentice Hall International series in computer science},
  publisher = {Prentice Hall},
  isbn = {978-0-13-564139-2},
}