What has the author M Ben-Ari written?

M. Ben-Ari has written:

'Mathematical logic for computer science' -- subject(s): Logic, Symbolic and mathematical, Symbolic and mathematical Logic