Seol mar théacs é seo: Mathematical Logic For Computer Science M. Ben Ari