@book{BenAri2012,
  author    = {Mordechai Ben{-}Ari},
  title     = {Mathematical Logic for Computer Science, 3rd Edition},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-1-4471-4129-7},
  doi       = {10.1007/978-1-4471-4129-7},
  isbn      = {978-1-4471-4128-0}
}