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