Ben Ari, . (2005). Mathematical Logic For Computer Science. Berlin: Springer.
Ben Ari, . 2005. Mathematical Logic For Computer Science. Berlin: Springer.
Ben Ari, . Mathematical Logic For Computer Science. Berlin: Springer. 2005.